OpenXM/src/asir-contrib/make-configure - view

Return to make-configure CVS log

Up to [local] / OpenXM / src / asir-contrib

File: [local] / OpenXM / src / asir-contrib / make-configure (download)

Revision 1.2, Thu Jul 15 05:39:07 2004 UTC (19 years, 9 months ago) by takayama
Branch: MAIN
CVS Tags: R_1_3_1-2, RELEASE_1_3_1_13b, RELEASE_1_2_3_12, RELEASE_1_2_3, KNOPPIX_2006, HEAD, DEB_REL_1_2_3-9
Changes since 1.1: +3 -1 lines

1. The section on oxshell is included in the asir-contrib manual.
2. Fake polymake is introduced. It is used to debug oxshell
   and doPolymake on a machine where no polymake is installed.

#!/bin/sh
# $OpenXM: OpenXM/src/asir-contrib/make-configure,v 1.2 2004/07/15 05:39:07 takayama Exp $
if test ! -f ./.configure_done   -o ! -f ./Makefile
then 
 echo "--prefix=`cd ../../../OpenXM ; pwd`"
 ./configure --prefix="`cd ../../../OpenXM ; pwd`"
else
 echo ".configure_done exists. Do nothing."
fi
touch .configure_done