| version 1.2, 2004/09/27 08:33:37 |
version 1.3, 2004/11/23 04:34:31 |
|
|
| #!/bin/bash |
#!/bin/bash |
| # $OpenXM: OpenXM/src/polymake/cgi/cgi-polymake.sh,v 1.1 2004/09/27 01:20:46 takayama Exp $ |
# $OpenXM: OpenXM/src/polymake/cgi/cgi-polymake.sh,v 1.2 2004/09/27 08:33:37 takayama Exp $ |
| PATH=/usr/local/polymake/bin:$PATH |
PATH=/usr/local/polymake/bin:$PATH |
| ## Replace $OpenXM_HOME by an absolute path of your cite. |
## Replace $OpenXM_HOME by an absolute path of your cite. |
| source $(OpenXM_HOME)/rc/dot.bashrc |
source $(OpenXM_HOME)/rc/dot.bashrc |
| export TMP=/tmp |
export TMP=/tmp |
| sm1 -q -s "[(ox.sm1) pushfile] extension oxNoX [(parse) (cgi.sm1) pushfile] extension cgiPolymake quit " |
sm1 -q -s "[(parse) (ox.sm1) pushfile] extension oxNoX [(parse) (cgi.sm1) pushfile] extension cgiPolymake quit " |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to cgi-polymake.sh CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / polymake / cgi