diff --git a/packages/prolog/8.2.4/build.sh b/packages/prolog/8.2.4/build.sh new file mode 100755 index 0000000..3473d69 --- /dev/null +++ b/packages/prolog/8.2.4/build.sh @@ -0,0 +1,22 @@ +#!/bin/bash + +PREFIX=$(realpath $(dirname $0)) + +mkdir -p build + +cd build + +# Source compile +curl -L "https://www.swi-prolog.org/download/stable/src/swipl-8.2.4.tar.gz" -o swipl.tar.gz +tar xzf swipl.tar.gz --strip-components=1 +rm swipl.tar.gz + +mkdir build +cd build +cmake -DCMAKE_INSTALL_PREFIX="$PREFIX" -DSWIPL_PACKAGES_JAVA=OFF -DSWIPL_PACKAGES_X=OFF -DMULTI_THREADED=OFF -DINSTALL_DOCUMENTATION=OFF .. +make -j$(nproc) +make install -j$(nproc) + +cd ../../ + +rm -rf build diff --git a/packages/prolog/8.2.4/environment b/packages/prolog/8.2.4/environment new file mode 100644 index 0000000..bd0ff98 --- /dev/null +++ b/packages/prolog/8.2.4/environment @@ -0,0 +1 @@ +export PATH=$PWD/bin:$PATH \ No newline at end of file diff --git a/packages/prolog/8.2.4/metadata.json b/packages/prolog/8.2.4/metadata.json new file mode 100644 index 0000000..8238856 --- /dev/null +++ b/packages/prolog/8.2.4/metadata.json @@ -0,0 +1,6 @@ +{ + "language": "prolog", + "version": "8.2.4", + "aliases": ["prolog","plg"], + "author": "Dan Vargas " +} diff --git a/packages/prolog/8.2.4/run b/packages/prolog/8.2.4/run new file mode 100644 index 0000000..7609191 --- /dev/null +++ b/packages/prolog/8.2.4/run @@ -0,0 +1,4 @@ +#!/usr/bin/env bash + +# Put instructions to run the runtime +swipl -g true -t halt "$@" diff --git a/packages/prolog/8.2.4/test.prolog b/packages/prolog/8.2.4/test.prolog new file mode 100644 index 0000000..290ef7c --- /dev/null +++ b/packages/prolog/8.2.4/test.prolog @@ -0,0 +1 @@ +:- write('OK'), nl. \ No newline at end of file