#!/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.)