txlyre 1 year ago
parent
commit
1ec2c2d79e
3 changed files with 18 additions and 1 deletions
  1. 6 1
      langs/odin/Dockerfile
  2. 7 0
      langs/uiua/Dockerfile
  3. 5 0
      langs/uiua/run.sh

+ 6 - 1
langs/odin/Dockerfile

@@ -1,2 +1,7 @@
 RUN apt-get install wget unzip -y
-RUN apt-get install libedit-dev -y
+RUN apt-get install libedit libedit-dev -y
+RUN apt-get install libz libz-dev -y
+RUN apt-get install libxml2 libxml2-dev -y
+RUN apt-get install libffi libffi-dev -y
+RUN apt-get install libtinfo libtinfo-dev -y
+RUN apt-get install libstdc++6 -y

+ 7 - 0
langs/uiua/Dockerfile

@@ -0,0 +1,7 @@
+RUN apt-get install wget unzip libasound2 -y
+RUN wget -c https://github.com/uiua-lang/uiua/releases/download/0.9.5/uiua-bin-x86_64-unknown-linux-gnu.zip
+RUN unzip uiua-bin-x86_64-unknown-linux-gnu.zip
+RUN mv uiua /usr/bin/uiua
+RUN chmod +x /usr/bin/uiua
+RUN chmod 705 /usr/bin/uiua
+RUN rm uiua-bin-x86_64-unknown-linux-gnu.zip

+ 5 - 0
langs/uiua/run.sh

@@ -0,0 +1,5 @@
+IN="$(mktemp --suffix .ua)"
+
+cat > "$IN"
+
+uiua run "$IN"