mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-30 02:42:59 +00:00
17 lines
323 B
Bash
17 lines
323 B
Bash
|
# 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
|