File r34.1/util/reduce-names from the latest check-in


# Set REDUCE 3.4 names

echo "Using directory $reduce as Reduce root"

setenv rdoc $reduce/doc
setenv rexec $reduce
setenv rfasl $reduce/fasl
setenv rlog $reduce/log
setenv rpsl $reduce/psl
setenv rsrc $reduce/src
setenv rutil $reduce/util
setenv rxmpl $reduce/xmpl


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