diff --git a/languages/felix b/languages/felix new file mode 100755 index 0000000..b64c419 --- /dev/null +++ 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"