Return to configure CVS log | Up to [local] / OpenXM / misc / packages / FreeBSD / openxm-ports / openxm-1.1.3 / scripts |
1.1 ! takayama 1: #!/bin/sh ! 2: # $OpenXM$ ! 3: (cd $WRKSRC/OpenXM/src ; make configure ) ! 4: ! 5: ! 6: ## It is necessary to do "make configure" by scripts/configure. ! 7: ## If we do not do this, the procedure hangs up at the stage of ! 8: ## generating kernel.o of pari. (I do not know the reason.)