Return to cgi-polymake.sh CVS log | Up to [local] / OpenXM / src / polymake / cgi |
File: [local] / OpenXM / src / polymake / cgi / cgi-polymake.sh (download)
Revision 1.3, Tue Nov 23 04:34:31 2004 UTC (19 years, 9 months ago) by takayama
Fixed a bug (parse was missing.) |
#!/bin/bash # $OpenXM: OpenXM/src/polymake/cgi/cgi-polymake.sh,v 1.3 2004/11/23 04:34:31 takayama Exp $ PATH=/usr/local/polymake/bin:$PATH ## Replace $OpenXM_HOME by an absolute path of your cite. source $(OpenXM_HOME)/rc/dot.bashrc export TMP=/tmp sm1 -q -s "[(parse) (ox.sm1) pushfile] extension oxNoX [(parse) (cgi.sm1) pushfile] extension cgiPolymake quit "