mirror of
https://github.com/engineer-man/piston.git
synced 2025-05-15 16:16:28 +02:00
pkg(prolog-8.2.4): Add prolog 8.2.4
This commit is contained in:
parent
d50403230c
commit
d5723a11d2
5 changed files with 34 additions and 0 deletions
22
packages/prolog/8.2.4/build.sh
vendored
Executable file
22
packages/prolog/8.2.4/build.sh
vendored
Executable file
|
@ -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
|
1
packages/prolog/8.2.4/environment
vendored
Normal file
1
packages/prolog/8.2.4/environment
vendored
Normal file
|
@ -0,0 +1 @@
|
||||||
|
export PATH=$PWD/bin:$PATH
|
6
packages/prolog/8.2.4/metadata.json
vendored
Normal file
6
packages/prolog/8.2.4/metadata.json
vendored
Normal file
|
@ -0,0 +1,6 @@
|
||||||
|
{
|
||||||
|
"language": "prolog",
|
||||||
|
"version": "8.2.4",
|
||||||
|
"aliases": ["prolog","plg"],
|
||||||
|
"author": "Dan Vargas <danvargas46@gmail.com>"
|
||||||
|
}
|
4
packages/prolog/8.2.4/run
vendored
Normal file
4
packages/prolog/8.2.4/run
vendored
Normal file
|
@ -0,0 +1,4 @@
|
||||||
|
#!/usr/bin/env bash
|
||||||
|
|
||||||
|
# Put instructions to run the runtime
|
||||||
|
swipl -g true -t halt "$@"
|
1
packages/prolog/8.2.4/test.prolog
vendored
Normal file
1
packages/prolog/8.2.4/test.prolog
vendored
Normal file
|
@ -0,0 +1 @@
|
||||||
|
:- write('OK'), nl.
|
Loading…
Add table
Add a link
Reference in a new issue