![]() ![]() | ![]() |
File: [local] / OpenXM / misc / packages / FreeBSD / openxm-ports / openxm-1.1.2 / scripts / configure (download)
Revision 1.1, Thu Mar 2 10:32:40 2000 UTC (24 years, 5 months ago) by takayama
Initial revision |
#!/bin/sh # $OpenXM: OpenXM/misc/packages/FreeBSD/openxm-ports/openxm-1.1.2/scripts/configure,v 1.1 2000/03/02 10:32:40 takayama Exp $ (cd $WRKSRC/OpenXM/src ; make configure ) ## It is necessary to do "make configure" by scripts/configure. ## If we do not do this, the procedure hangs up at the stage of ## generating kernel.o of pari. (I do not know the reason.)