summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKeri Harris <keri@gentoo.org>2020-07-20 07:30:57 +0200
committerKeri Harris <keri@gentoo.org>2020-07-20 07:31:44 +0200
commit49b1c5d39dd46eda92b38e2aa3349f8e85964e4c (patch)
tree91d3b27c959d3ff57dc211cf45568042ec932645 /dev-lang/cxprolog/files/cx_dev_boot.pl
parentmedia-radio/xastir: Drop old (diff)
downloadgentoo-49b1c5d39dd46eda92b38e2aa3349f8e85964e4c.tar.gz
gentoo-49b1c5d39dd46eda92b38e2aa3349f8e85964e4c.tar.bz2
gentoo-49b1c5d39dd46eda92b38e2aa3349f8e85964e4c.zip
dev-lang/cxprolog: do not source Prolog files from live file system
Package-Manager: Portage-2.3.103, Repoman-2.3.22 Signed-off-by: Keri Harris <keri@gentoo.org>
Diffstat (limited to 'dev-lang/cxprolog/files/cx_dev_boot.pl')
-rw-r--r--dev-lang/cxprolog/files/cx_dev_boot.pl9
1 files changed, 9 insertions, 0 deletions
diff --git a/dev-lang/cxprolog/files/cx_dev_boot.pl b/dev-lang/cxprolog/files/cx_dev_boot.pl
new file mode 100644
index 000000000000..2794cabe34b0
--- /dev/null
+++ b/dev-lang/cxprolog/files/cx_dev_boot.pl
@@ -0,0 +1,9 @@
+'$cxprolog_initialise' :-
+ version,
+ fs_cwd(CWD),
+ fs_set_prefix_dir(CWD),
+ '$env_context' := [main].
+
+
+'$cxprolog_top_level_goal' :-
+ true.