2 files changed, 34 insertions, 0 deletions
diff --git a/math/reduce-psl/files/redpsl.1 b/math/reduce-psl/files/redpsl.1
new file mode 100644
index 000000000000..a4966d46b626
--- /dev/null
+++ b/math/reduce-psl/files/redpsl.1
@@ -0,0 +1,18 @@
+.TH REDPSL 1 "2010 October 10" "redpsl"
+.
+.
+.SH NAME
+redpsl \- Run REDUCE under PSL
+.
+.
+.SH Synopsis
+.B redpsl
+.
+.
+.SH DESCRIPTION
+.I redpsl
+runs REDUCE based on the 
+.BR PSL
+Lisp system.
+.
+.
diff --git a/math/reduce-psl/files/runpsl.sh b/math/reduce-psl/files/runpsl.sh
new file mode 100644
index 000000000000..67de252482a8
--- /dev/null
+++ b/math/reduce-psl/files/runpsl.sh
@@ -0,0 +1,16 @@
+#! /bin/sh
+
+case `uname -m` in
+amd64)
+      STORE=2000
+      ;;
+i386)
+      STORE=16000000
+      ;;
+esac
+
+bin="/usr/local/share/reduce/psl/bpsl"
+img="/usr/local/share/reduce/red/reduce.img"
+
+exec $bin -td $STORE -f $img $*
+