OpenXM/src/polymake/cgi/cgi-polymake.sh - view

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.2, Mon Sep 27 08:33:37 2004 UTC (19 years, 8 months ago) by takayama
Branch: MAIN
Changes since 1.1: +5 -2 lines

A bug fix (TMP should be set to execute as NOBODY.)

#!/bin/bash
# $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
## Replace $OpenXM_HOME by an absolute path of your cite.
source $(OpenXM_HOME)/rc/dot.bashrc
export TMP=/tmp
sm1 -q -s "[(ox.sm1) pushfile] extension oxNoX [(parse) (cgi.sm1) pushfile] extension cgiPolymake quit "