#!/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 "