![]() ![]() | ![]() |
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.)