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 ; \
|
||||
done
|
||||
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/*
|
||||
|
||||
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