# Policy says we can put executables in usr/lib
fricas-hypertex: executable-in-usr-lib usr/lib/fricas/target/armv7l-linux-gnueabihf/bin/htadd
fricas-hypertex: executable-in-usr-lib usr/lib/fricas/target/armv7l-linux-gnueabihf/bin/hypertex
fricas-hypertex: executable-in-usr-lib usr/lib/fricas/target/armv7l-linux-gnueabihf/lib/hthits
fricas-hypertex: executable-in-usr-lib usr/lib/fricas/target/armv7l-linux-gnueabihf/lib/htsearch
# these are all correct
fricas-hypertex: repeated-path-segment lib usr/lib/fricas/target/armv7l-linux-gnueabihf/lib/
