![]() ![]() | ![]() |
File: [local] / OpenXM / misc / packages / FreeBSD / openxm-ports / openxm-1.1.3 / scripts / configure (download)
Revision 1.1, Sat Sep 23 07:30:05 2000 UTC (23 years, 11 months ago) by takayama
Initial version of FreeBSD ports for OpenXM 1.1.3. |
#!/bin/sh # $OpenXM: OpenXM/misc/packages/FreeBSD/openxm-ports/openxm-1.1.3/scripts/configure,v 1.1 2000/09/23 07:30:05 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.)