diff options
Diffstat (limited to 'local/lib')
| -rw-r--r-- | local/lib/helpdb.mip | bin | 0 -> 2904 bytes | |||
| -rw-r--r-- | local/lib/mkpkg.inc | 14 | ||||
| -rw-r--r-- | local/lib/root.hd | 5 | ||||
| -rw-r--r-- | local/lib/rootlocal.hd | 8 | ||||
| -rw-r--r-- | local/lib/strip.local | 4 | ||||
| -rw-r--r-- | local/lib/zzsetenv.def | 8 |
6 files changed, 39 insertions, 0 deletions
diff --git a/local/lib/helpdb.mip b/local/lib/helpdb.mip Binary files differnew file mode 100644 index 00000000..55e9bfb0 --- /dev/null +++ b/local/lib/helpdb.mip diff --git a/local/lib/mkpkg.inc b/local/lib/mkpkg.inc new file mode 100644 index 00000000..a13524ab --- /dev/null +++ b/local/lib/mkpkg.inc @@ -0,0 +1,14 @@ +# Global MKPKG definitions for the LOCAL package. + +$set XFLAGS = "$(XFLAGS) -p local" +$set XVFLAGS = "$(XVFLAGS) -p local" +$set LFLAGS = "$(LFLAGS) -p local" + +# Uncomment and modify the following to add special file list entries for +# various machine architectures and Fortran compilers. + +# $ifeq (MACH, sparc) then +# $include "local$lib/mkpkg.sf.sun4" +# $else $ifeq (MACH, vms) then +# $include "local$lib/mkpkg.sf.vms" +# $end diff --git a/local/lib/root.hd b/local/lib/root.hd new file mode 100644 index 00000000..34a8f88b --- /dev/null +++ b/local/lib/root.hd @@ -0,0 +1,5 @@ +# Root help directory for the LOCAL packages. This dummy package is necessary +# in order to have `local' appear as a module in some package, so that the user +# can type "help local" (with the `local' given as a task). + +_local pkg = local$lib/rootlocal.hd diff --git a/local/lib/rootlocal.hd b/local/lib/rootlocal.hd new file mode 100644 index 00000000..7fbbed03 --- /dev/null +++ b/local/lib/rootlocal.hd @@ -0,0 +1,8 @@ +# Root task entry for the LOCAL package help tree. Defines `local' as both a +# task and a package in the local help database. + +local men = local$src/local.men, + hlp = local$src/local.men, + sys = local$src/local.hlp, + pkg = local$src/local.hd, + src = local$src/local.cl diff --git a/local/lib/strip.local b/local/lib/strip.local new file mode 100644 index 00000000..93550862 --- /dev/null +++ b/local/lib/strip.local @@ -0,0 +1,4 @@ +# STRIP.LOCAL -- Rmfiles command script, used to strip the LOCAL directories +# of all files not required for ordinary runtime use of the system. + +src -allbut .hlp .hd .men .cl .par .key .dat .mip diff --git a/local/lib/zzsetenv.def b/local/lib/zzsetenv.def new file mode 100644 index 00000000..07645dfa --- /dev/null +++ b/local/lib/zzsetenv.def @@ -0,0 +1,8 @@ +# Global environment definitions for the LOCAL packages. + +#set localbin = "local$bin(arch)/" +set localbin = "local$bin/" +set pkgbin = localbin$ +set pkglibs = local$lib/ + +keep |