Compare commits
6 Commits
adf97a7df0
...
7c67be39b0
Author | SHA1 | Date |
---|---|---|
Thomas | 7c67be39b0 | |
Thomas | 6e0bff24a2 | |
Thomas | 25d4d2e04f | |
Vargas, Dan | 389c9be86c | |
Vargas, Dan | d5723a11d2 | |
Vargas, Dan | d50403230c |
|
@ -5,7 +5,7 @@ RUN for i in $(seq 1001 1500); do \
|
||||||
useradd -M runner$i -g $i -u $i ; \
|
useradd -M runner$i -g $i -u $i ; \
|
||||||
done
|
done
|
||||||
RUN apt-get update && \
|
RUN apt-get update && \
|
||||||
apt-get install -y libxml2 gnupg tar coreutils util-linux libc6-dev binutils build-essential locales libpcre3-dev libevent-dev libgmp3-dev && \
|
apt-get install -y libxml2 gnupg tar coreutils util-linux libc6-dev binutils build-essential locales libpcre3-dev libevent-dev libgmp3-dev libncurses6 && \
|
||||||
rm -rf /var/lib/apt/lists/*
|
rm -rf /var/lib/apt/lists/*
|
||||||
|
|
||||||
RUN sed -i '/en_US.UTF-8/s/^# //g' /etc/locale.gen && locale-gen
|
RUN sed -i '/en_US.UTF-8/s/^# //g' /etc/locale.gen && locale-gen
|
||||||
|
|
|
@ -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
|
|
@ -0,0 +1 @@
|
||||||
|
export PATH=$PWD/bin:$PATH
|
|
@ -0,0 +1,6 @@
|
||||||
|
{
|
||||||
|
"language": "prolog",
|
||||||
|
"version": "8.2.4",
|
||||||
|
"aliases": ["prolog","plg"],
|
||||||
|
"author": "Dan Vargas <danvargas46@gmail.com>"
|
||||||
|
}
|
|
@ -0,0 +1,4 @@
|
||||||
|
#!/usr/bin/env bash
|
||||||
|
|
||||||
|
# Put instructions to run the runtime
|
||||||
|
swipl -g true -t halt "$@"
|
|
@ -0,0 +1 @@
|
||||||
|
:- write('OK'), nl.
|
|
@ -0,0 +1,16 @@
|
||||||
|
#!/usr/bin/env bash
|
||||||
|
|
||||||
|
# Scala depends on Java
|
||||||
|
mkdir -p java
|
||||||
|
cd java
|
||||||
|
curl "https://download.java.net/java/GA/jdk15.0.2/0d1cfde4252546c6931946de8db48ee2/7/GPL/openjdk-15.0.2_linux-x64_bin.tar.gz" -o java.tar.gz
|
||||||
|
tar xzf java.tar.gz --strip-components=1
|
||||||
|
rm java.tar.gz
|
||||||
|
cd ..
|
||||||
|
|
||||||
|
mkdir -p scala
|
||||||
|
cd scala
|
||||||
|
curl -L "https://github.com/lampepfl/dotty/releases/download/3.0.0-RC1/scala3-3.0.0-RC1.tar.gz" -o scala.tar.gz
|
||||||
|
tar -xzf scala.tar.gz --strip-components=1
|
||||||
|
rm scala.tar.gz
|
||||||
|
cd ..
|
|
@ -0,0 +1,5 @@
|
||||||
|
#!/usr/bin/env bash
|
||||||
|
|
||||||
|
# Scala requires JAVA_HOME to be set
|
||||||
|
export JAVA_HOME=$PWD/java
|
||||||
|
export PATH=$PWD/scala/bin:$PATH
|
|
@ -0,0 +1,6 @@
|
||||||
|
{
|
||||||
|
"language": "scala",
|
||||||
|
"version": "3.0.0",
|
||||||
|
"aliases": ["scala","sc"],
|
||||||
|
"author": "Dan Vargas <danvargas46@gmail.com>"
|
||||||
|
}
|
|
@ -0,0 +1,4 @@
|
||||||
|
#!/usr/bin/env bash
|
||||||
|
|
||||||
|
# Put instructions to run the runtime
|
||||||
|
scala -color never "$@"
|
|
@ -0,0 +1,3 @@
|
||||||
|
@main def run(): Unit = {
|
||||||
|
println("OK")
|
||||||
|
}
|
Loading…
Reference in New Issue