Fix Curry build & run
This commit is contained in:
parent
b2f20154a4
commit
ce72de4f6f
|
@ -11,6 +11,8 @@ install:
|
||||||
# We are installing from upstream because the Ubuntu 20.10 package
|
# We are installing from upstream because the Ubuntu 20.10 package
|
||||||
# was broken (pakcs wouldn't start up due to swi-prolog being bumped
|
# was broken (pakcs wouldn't start up due to swi-prolog being bumped
|
||||||
# from 7.x to 8.x, causing a ZIP decoding error).
|
# from 7.x to 8.x, causing a ZIP decoding error).
|
||||||
|
apt:
|
||||||
|
- swi-prolog
|
||||||
manual: |
|
manual: |
|
||||||
install -d "${pkg}/opt"
|
install -d "${pkg}/opt"
|
||||||
install -d "${pkg}/usr/local/bin"
|
install -d "${pkg}/usr/local/bin"
|
||||||
|
@ -28,7 +30,7 @@ install:
|
||||||
ln -s /opt/pakcs/src/pakcs "${pkg}/usr/local/bin/"
|
ln -s /opt/pakcs/src/pakcs "${pkg}/usr/local/bin/"
|
||||||
|
|
||||||
repl: |
|
repl: |
|
||||||
pakcs
|
SWIPL=swipl pakcs
|
||||||
|
|
||||||
main: "main.curry"
|
main: "main.curry"
|
||||||
template: |
|
template: |
|
||||||
|
@ -36,7 +38,7 @@ template: |
|
||||||
main = putStrLn "Hello, world!"
|
main = putStrLn "Hello, world!"
|
||||||
|
|
||||||
run: |
|
run: |
|
||||||
pakcs :load main.curry :eval main
|
SWIPL=swipl pakcs :load main.curry :eval main
|
||||||
|
|
||||||
scope:
|
scope:
|
||||||
code: |
|
code: |
|
||||||
|
|
Loading…
Reference in New Issue