File psl-1983/3-1/dist/make-bare-psl.ctl from the latest check-in


@define dsk: dsk:,p20:
@S:BPSL.EXE
*(lapin "psl.init")
*(setq loaddirectories* '("" "pl:"))
*(load char-macro))
*(de gc-trap () nil)
*(setq heap-warning-level 1000)
*(setq options* nil)
*(setq bug-mail-to "PSL")
*(de versionname() "Extended-20 Bare PSL 3.1")
*(savesystem (versionname) "s:bare-psl.exe" ())
*(quit)
;@rename S:BARE-PSL.EXE PSL:BARE-PSL.EXE
;@set file autokeep PSL:BARE-PSL.EXE


REDUCE Historical
REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]