Compare commits
No commits in common. "7c67be39b0f9897fd654d5e8ed51113f86d4446a" and "adf97a7df0799ce29a5c178a9c0cbc18761b1a57" have entirely different histories.
7c67be39b0
...
adf97a7df0
|
@ -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 libncurses6 && \
|
apt-get install -y libxml2 gnupg tar coreutils util-linux libc6-dev binutils build-essential locales libpcre3-dev libevent-dev libgmp3-dev && \
|
||||||
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
|
||||||
|
|
|
@ -1,22 +0,0 @@
|
||||||
#!/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 +0,0 @@
|
||||||
export PATH=$PWD/bin:$PATH
|
|
|
@ -1,6 +0,0 @@
|
||||||
{
|
|
||||||
"language": "prolog",
|
|
||||||
"version": "8.2.4",
|
|
||||||
"aliases": ["prolog","plg"],
|
|
||||||
"author": "Dan Vargas <danvargas46@gmail.com>"
|
|
||||||
}
|
|
|
@ -1,4 +0,0 @@
|
||||||
#!/usr/bin/env bash
|
|
||||||
|
|
||||||
# Put instructions to run the runtime
|
|
||||||
swipl -g true -t halt "$@"
|
|
|
@ -1 +0,0 @@
|
||||||
:- write('OK'), nl.
|
|
|
@ -1,16 +0,0 @@
|
||||||
#!/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 ..
|
|
|
@ -1,5 +0,0 @@
|
||||||
#!/usr/bin/env bash
|
|
||||||
|
|
||||||
# Scala requires JAVA_HOME to be set
|
|
||||||
export JAVA_HOME=$PWD/java
|
|
||||||
export PATH=$PWD/scala/bin:$PATH
|
|
|
@ -1,6 +0,0 @@
|
||||||
{
|
|
||||||
"language": "scala",
|
|
||||||
"version": "3.0.0",
|
|
||||||
"aliases": ["scala","sc"],
|
|
||||||
"author": "Dan Vargas <danvargas46@gmail.com>"
|
|
||||||
}
|
|
|
@ -1,4 +0,0 @@
|
||||||
#!/usr/bin/env bash
|
|
||||||
|
|
||||||
# Put instructions to run the runtime
|
|
||||||
scala -color never "$@"
|
|
|
@ -1,3 +0,0 @@
|
||||||
@main def run(): Unit = {
|
|
||||||
println("OK")
|
|
||||||
}
|
|
Loading…
Reference in New Issue