diff --git a/install b/install new file mode 100755 index 0000000..2dc2023 --- /dev/null +++ b/install @@ -0,0 +1,5 @@ +#!/bin/bash + +echo "Deploying Zenith executable..." +ln -s ${PWD}/dist-newstyle/build/x86_64-linux/ghc-9.6.5/zenith-0.6.0.0/build/zenith/zenith ~/.local/bin/zenith +echo "Done."