Return to configure CVS log | Up to [local] / OpenXM / misc / packages / FreeBSD / openxm-ports / openxm-1.1.2 / 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.)