pkg(jelly-0.1.31): Add jelly 0.1.31

2021-03-13 19:53:33 +13:00 · 2021-03-13 19:53:33 +13:00 · 8745c0e2a3
parent eb38af782d
commit 8745c0e2a3
5 changed files with 21 additions and 0 deletions
--- a/packages/jelly/0.1.31/build.sh
+++ b/packages/jelly/0.1.31/build.sh
@ -0,0 +1,12 @@
+#!/bin/bash
+
+source ../../python/3.9.1/build.sh
+
+mkdir -p build
+
+git clone -q https://github.com/DennisMitchell/jellylanguage.git build/jelly
+cd build/jelly
+../../bin/python3.9 setup.py install --optimize=1
+
+cd ../../
+rm -rf build
--- a/packages/jelly/0.1.31/environment
+++ b/packages/jelly/0.1.31/environment
@ -0,0 +1 @@
+export PATH=$PWD/bin:$PATH
--- a/packages/jelly/0.1.31/metadata.json
+++ b/packages/jelly/0.1.31/metadata.json
@ -0,0 +1,6 @@
+{
+    "language": "jelly",
+    "version": "0.1.31",
+    "author": "Thomas Hobson <thomas@hexf.me>",
+    "aliases": []
+}
--- a/packages/jelly/0.1.31/run
+++ b/packages/jelly/0.1.31/run
@ -0,0 +1 @@
+jelly fu $*
--- a/packages/jelly/0.1.31/test.jelly
+++ b/packages/jelly/0.1.31/test.jelly
@ -0,0 +1 @@
+“OK”