From d5723a11d2b891509b2fbad1e53a8751ff7f2950 Mon Sep 17 00:00:00 2001 From: "Vargas, Dan" Date: Thu, 18 Mar 2021 09:20:37 -0500 Subject: [PATCH] pkg(prolog-8.2.4): Add prolog 8.2.4 --- packages/prolog/8.2.4/build.sh | 22 ++++++++++++++++++++++ packages/prolog/8.2.4/environment | 1 + packages/prolog/8.2.4/metadata.json | 6 ++++++ packages/prolog/8.2.4/run | 4 ++++ packages/prolog/8.2.4/test.prolog | 1 + 5 files changed, 34 insertions(+) create mode 100755 packages/prolog/8.2.4/build.sh create mode 100644 packages/prolog/8.2.4/environment create mode 100644 packages/prolog/8.2.4/metadata.json create mode 100644 packages/prolog/8.2.4/run create mode 100644 packages/prolog/8.2.4/test.prolog 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