Return to cgi-polymake.sh CVS log

Up to [local] / OpenXM / src / polymake / cgi

Annotation of OpenXM/src/polymake/cgi/cgi-polymake.sh, Revision 1.3

1.1       takayama    1: #!/bin/bash
1.3     ! takayama    2: # $OpenXM: OpenXM/src/polymake/cgi/cgi-polymake.sh,v 1.2 2004/09/27 08:33:37 takayama Exp $
1.2       takayama    3: PATH=/usr/local/polymake/bin:$PATH
                      4: ## Replace $OpenXM_HOME by an absolute path of your cite.
1.1       takayama    5: source $(OpenXM_HOME)/rc/dot.bashrc
1.2       takayama    6: export TMP=/tmp
1.3     ! takayama    7: sm1 -q -s "[(parse) (ox.sm1) pushfile] extension oxNoX [(parse) (cgi.sm1) pushfile] extension cgiPolymake quit "