# Policy says we can put executables in usr/lib
fricas-graphics: executable-in-usr-lib [usr/lib/fricas/target/mips64el-unknown-linux-gnuabi64/bin/viewAlone]
fricas-graphics: executable-in-usr-lib [usr/lib/fricas/target/mips64el-unknown-linux-gnuabi64/lib/view2D]
fricas-graphics: executable-in-usr-lib [usr/lib/fricas/target/mips64el-unknown-linux-gnuabi64/lib/view3D]
fricas-graphics: executable-in-usr-lib [usr/lib/fricas/target/mips64el-unknown-linux-gnuabi64/lib/viewman]
# these are all correct
fricas-graphics: repeated-path-segment lib [usr/lib/fricas/target/mips64el-unknown-linux-gnuabi64/lib/]
