@@ -0,0 +1 @@
+RUN apt-get install gnat -y
@@ -0,0 +1,10 @@
+IN="$(mktemp --suffix .adb)"
+OUT="$(mktemp)"
+
+cat > "$IN"
+gnatmake "$IN" -o "$OUT"
+if [ -f $OUT ]; then
+ exec "$OUT"
+fi