1############################################################################### 2# 3# File: PSL:PSL-NAMES 4# Description: This file has machine independent and machine specific env 5# names. The machine specific parts all start with PX. 6# Author: Harold Carr & Leigh Stoller 7# Created: 8# Modified: 9# Mode: 10# Package: 11# Status: Experimental (Do Not Distribute) 12# 13# (c) Copyright 1987, University of Utah, all rights reserved. 14# 15############################################################################### 16# 17# Revisions: 18# 19# Mar 18 1987 (Harold Carr & Leigh Stoller) 20# Moved the machine-dependent names to xxx-names. 21# Dec 21 1986 (Leigh Stoller) 22# cl variable should reference $proot, not ~psl. 23# Dec 6 1986 (Leigh Stoller) 24# Changed proot from /v/misc/psl3.4 to /v/misc/psl. 25# 26############################################################################### 27 28# Define the variables for easy access to psl sub-directories 29# This file must be edited to reflect local installation choices of 30# the root of the psl directory structure, proot 31# and any other directories that by local convention are moved 32# from subtrees of $proot to other locations. 33 34# All of these variables are set in the environment, so they are accessible 35# from within scripts and PSL itself as dollarsign-variables "$var". 36# Since the environment is inherited, it is only necessary to source psl-names 37# once in your .login file, rather than in the .cshrc for every c-shell. 38 39setenv proot /home/cons/reducedev/free_reduce/reduce-algebra/trunk/psl 40 41setenv psl $proot/dist # Top of PSL tree. 42# setenv cl $proot/pclsdist # Top of PCLS tree. 43 44setenv psys $proot/bin/$MACHINE # All PSL executables go here. 45 46setenv pl $psl/lap/$MACHINE # Loadable files 47 48setenv plcl $proot/local # Put site specific source files here. 49setenv pll $plcl/lap/$MACHINE # Lap directory for local stuff. 50 51setenv pk $psl/kernel # Machine-independent kernel sources 52setenv pxk $psl/kernel/$MACHINE # Machine specific kernel sources 53 54setenv pnk $psl/nonkernel # Machine-independent non-kernel 55setenv pxnk $psl/nonkernel/$MACHINE # Machine specific non-kernel 56setenv pnkl $psl/nonkernel/$MACHINE/lap # Non-Kernel binaries 57 58setenv pc $psl/comp # Machine-independent compiler sources 59setenv pxc $psl/comp/$MACHINE # Machine specific compiler sources 60 61setenv pu $psl/util # Machine-independent utility programs 62setenv pxu $psl/util/$MACHINE # Machine specific utility program sources 63 64setenv pdist $psl/distrib # Distribution support 65setenv pxdist $psl/distrib/$MACHINE # Distribution support, Machine specific 66 67# End of file. 68