![]() ![]() | ![]() |
File: [local] / OpenXM / src / asir-port / cgi / cgi-asir.sh (download)
Revision 1.1, Thu Feb 24 06:13:30 2005 UTC (19 years, 6 months ago) by takayama
Install kit of cgi-asir. Try also http://polymake.math.kobe-u.ac.jp/cgi-bin/cgi-asir.sh |
#!/bin/bash # $Id: cgi-asir.sh,v 1.4 2005/02/24 06:05:57 taka Exp $ # $OpenXM: OpenXM/src/asir-port/cgi/cgi-asir.sh,v 1.1 2005/02/24 06:13:30 takayama Exp $ ## Replace $OpenXM_HOME by an absolute path of your cite. #source $(OpenXM_HOME)/rc/dot.bashrc source /home/taka/OpenXM/rc/dot.bashrc export TMP=/tmp export CGI_ASIR_ALLOW="[(version) (asir_contrib_copyright) (fctr) (primadec) (nd_gr_main) (dp_gr_main)]" export CGI_ASIR_TLIMIT="30" sm1 -q -s "[(parse) (cgiasir.sm1) pushfile] extension oxNoX cgiAsir quit "