2004-03-12 12:12:18 +01:00
|
|
|
skip () {
|
2014-10-10 14:25:23 +02:00
|
|
|
if [ -n "$NIX_DEBUG" ]; then
|
2004-03-12 12:12:18 +01:00
|
|
|
echo "skipping impure path $1" >&2
|
|
|
|
fi
|
|
|
|
}
|
|
|
|
|
2004-04-07 16:15:54 +02:00
|
|
|
|
|
|
|
# Checks whether a path is impure. E.g., `/lib/foo.so' is impure, but
|
|
|
|
# `/nix/store/.../lib/foo.so' isn't.
|
2004-03-12 12:12:18 +01:00
|
|
|
badPath() {
|
|
|
|
local p=$1
|
2014-10-10 14:25:23 +02:00
|
|
|
|
2004-04-07 16:15:54 +02:00
|
|
|
# Relative paths are okay (since they're presumably relative to
|
|
|
|
# the temporary build directory).
|
2014-10-10 14:25:23 +02:00
|
|
|
if [ "${p:0:1}" != / ]; then return 1; fi
|
|
|
|
|
2004-04-07 16:15:54 +02:00
|
|
|
# Otherwise, the path should refer to the store or some temporary
|
|
|
|
# directory (including the build directory).
|
2004-03-12 12:12:18 +01:00
|
|
|
test \
|
2012-07-02 17:04:56 +02:00
|
|
|
"$p" != "/dev/null" -a \
|
2004-03-12 12:12:18 +01:00
|
|
|
"${p:0:${#NIX_STORE}}" != "$NIX_STORE" -a \
|
|
|
|
"${p:0:4}" != "/tmp" -a \
|
|
|
|
"${p:0:${#NIX_BUILD_TOP}}" != "$NIX_BUILD_TOP"
|
|
|
|
}
|