version 1.5, 2013/09/26 04:13:40 |
version 1.6, 2014/07/30 02:23:14 |
|
|
#!/bin/bash |
#!/bin/bash |
# $Id$ |
# $Id$ |
# $OpenXM: OpenXM/src/asir-port/cgi/cgi-asir.sh,v 1.4 2005/02/27 08:22:56 takayama Exp $ |
# $OpenXM: OpenXM/src/asir-port/cgi/cgi-asir.sh,v 1.5 2013/09/26 04:13:40 takayama Exp $ |
## 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 |
export OpenXM_HOME=/private/taka/OpenXM |
source /home/taka/OpenXM/rc/dot.bashrc |
source $OpenXM_HOME/rc/dot.bashrc |
|
#source /home/taka/OpenXM/rc/dot.bashrc |
export TMP=/tmp |
export TMP=/tmp |
export CGI_ASIR_ALLOW="[(version) (asir_contrib_copyright) (fctr) (primadec) (nd_gr_main) (dp_gr_main)]" |
export CGI_ASIR_ALLOW="[(version) (asir_contrib_copyright) (fctr) (primadec) (nd_gr_main) (dp_gr_main)]" |
export CGI_ASIR_TLIMIT="30" |
export CGI_ASIR_TLIMIT="30" |