summaryrefslogtreecommitdiff
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
parent8a1e32e6a8c441f8358bd580c655d5ff48716fa0 (diff)
Install stdlib.pl and repl.pl into /sys/lib/prolog/
-rw-r--r--mkfile10
-rw-r--r--module.c6
2 files changed, 13 insertions, 3 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
diff --git a/module.c b/module.c
index 5a74c1d..919d7b5 100644
--- a/module.c
+++ b/module.c
@@ -8,9 +8,9 @@
void
initmodules(void)
{
- systemmodule = parsemodule("./stdlib.pl");
+ systemmodule = parsemodule("/sys/lib/prolog/stdlib.pl");
if(systemmodule == nil){
- print("Can't load ./stdlib.pl\n");
+ print("Can't load /sys/lib/prolog/stdlib.pl\n");
exits(nil);
}
@@ -21,7 +21,7 @@ initmodules(void)
}
usermodule = addemptymodule(L"user");
- parsemodule("./repl.pl");
+ parsemodule("/sys/lib/prolog/repl.pl");
}
Module *