2019-06-20 14:43:18 +00:00
|
|
|
set -u
|
|
|
|
|
2019-06-20 16:03:03 +00:00
|
|
|
module_name="${1#*/}"
|
|
|
|
|
2019-06-20 14:43:18 +00:00
|
|
|
if [ `ls -1 *.nimble 2>/dev/null | wc -l ` -gt 0 ]; then
|
2019-06-20 16:03:03 +00:00
|
|
|
mkdir -p "${NIMBLE_DIR}/pkgs/${module_name}-#head"
|
2019-06-21 16:36:19 +00:00
|
|
|
PKG_DIR="$(${PWD_CMD})"
|
|
|
|
if [ -d src ]; then
|
2019-06-20 14:43:18 +00:00
|
|
|
PKG_DIR="${PKG_DIR}/src"
|
|
|
|
fi
|
2019-06-21 16:36:19 +00:00
|
|
|
echo -e "${PKG_DIR}\n${PKG_DIR}" > "${NIMBLE_DIR}/pkgs/${module_name}-#head/${module_name}.nimble-link"
|
2019-06-20 14:43:18 +00:00
|
|
|
fi
|
|
|
|
|