summaryrefslogtreecommitdiff
path: root/mkfile
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-07-18 13:08:03 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-07-18 13:08:03 +0000
commit18ae80eac7b678d71b13710b978a03863c7e3fd2 (patch)
tree2becfde8b6567385f922582418849cb062764b11 /mkfile
parent8a1e32e6a8c441f8358bd580c655d5ff48716fa0 (diff)
Install stdlib.pl and repl.pl into /sys/lib/prolog/
Diffstat (limited to 'mkfile')
-rw-r--r--mkfile10
1 files changed, 10 insertions, 0 deletions
diff --git a/mkfile b/mkfile
index 8e920c2..a3f5547 100644
--- a/mkfile
+++ b/mkfile
@@ -21,5 +21,15 @@ HFILES=dat.h fns.h
BIN=/$objtype/bin
+PROLOGFILES=\
+ stdlib.pl\
+ repl.pl
+
+default:V: all
+
+install: $PROLOGFILES
+ mkdir -p /sys/lib/prolog
+ cp $PROLOGFILES /sys/lib/prolog
+
</sys/src/cmd/mkone