mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-16 06:45:16 +01:00
16 lines
323 B
Bash
16 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
|