adding image

KNowledgeOnWebScale · Mar 7, 2024 · d723b6e · d723b6e
1 parent db5c946
commit d723b6e
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 1 deletion.
diff --git a/mksee b/mksee
@@ -59,6 +59,9 @@ export DATE="$(date -Idate)"
 cat see.pl | sed -e "s/'SEE.*'/'SEE $RELEASE \($DATE\)'/" > see.pl.tmp
 mv see.pl.tmp see.pl
 
+# create image
+swipl -f see.pl -g "qsave_program('see.pvm', [goal(main)]),halt"
+
 # run the tests
 ./test
 

diff --git a/see b/see
@@ -1,2 +1,2 @@
 #!/bin/bash
-swipl -g main $(dirname "$(readlink -f "$0")")/see.pl -- "$@"
+swipl -x $(dirname "$(readlink -f "$0")")/see.pvm -- "$@"
diff --git a/see.pvm b/see.pvm