added Felix

TryItOnline · Jan 17, 2018 · bb81766 · bb81766
1 parent 427164b
commit bb81766
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/languages/felix b/languages/felix
@@ -0,0 +1,17 @@
+#!/bin/bash
+
+err=0
+trap 'err=1' ERR
+
+rm -rf felix
+mkdir felix
+cd felix
+git clone --depth=1 https://github.com/felix-lang/felix.git build
+cd build
+PATH=$PATH:build/release/host/bin make -f GNUmakefile build
+find -type f -exec strip --strip-debug {} + 2> /dev/null
+make -f GNUmakefile install PREFIX=/opt/felix
+cd ..
+rm -r build
+
+exit "$err"