diff options
| author | Márton Boros <martonboros@gmail.com> | 2018-02-03 10:12:37 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-03 10:12:37 +0100 |
| commit | e3220fe6b56ba91f9aea0f7d7aafeb273eb33272 (patch) | |
| tree | 928a529d6097dfcff97686cf056c7d1faf9ee017 /pkgs/development/idris-modules/setup-hook.sh | |
| parent | 92538f0a5439b7155dc46e10d10631cef68943c3 (diff) | |
| parent | 73d985f1b59e0058ae52f6e4f7a32fcdc9205295 (diff) | |
| download | nixpkgs-e3220fe6b56ba91f9aea0f7d7aafeb273eb33272.tar nixpkgs-e3220fe6b56ba91f9aea0f7d7aafeb273eb33272.tar.gz nixpkgs-e3220fe6b56ba91f9aea0f7d7aafeb273eb33272.tar.bz2 nixpkgs-e3220fe6b56ba91f9aea0f7d7aafeb273eb33272.tar.lz nixpkgs-e3220fe6b56ba91f9aea0f7d7aafeb273eb33272.tar.xz nixpkgs-e3220fe6b56ba91f9aea0f7d7aafeb273eb33272.tar.zst nixpkgs-e3220fe6b56ba91f9aea0f7d7aafeb273eb33272.zip | |
Merge branch 'master' into fix-idris-modules
Diffstat (limited to 'pkgs/development/idris-modules/setup-hook.sh')
| -rw-r--r-- | pkgs/development/idris-modules/setup-hook.sh | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/pkgs/development/idris-modules/setup-hook.sh b/pkgs/development/idris-modules/setup-hook.sh new file mode 100644 index 00000000000..30a487ea80d --- /dev/null +++ b/pkgs/development/idris-modules/setup-hook.sh @@ -0,0 +1,16 @@ +# Library import path +export IDRIS_LIBRARY_PATH=$PWD/idris-libs +mkdir -p $IDRIS_LIBRARY_PATH + +# Library install path +export IBCSUBDIR=$out/lib/@name@ +mkdir -p $IBCSUBDIR + +addIdrisLibs () { + if [ -d $1/lib/@name@ ]; then + ln -sv $1/lib/@name@/* $IDRIS_LIBRARY_PATH + fi +} + +# All run-time deps +addEnvHooks 1 addIdrisLibs |