# gprof ability in all gcl executables
fricas: binary-compiled-with-profiling-enabled usr/lib/fricas/target/i686-pc-linux-gnu/bin/FRICASsys
# pie unworkable in all gcl executables, as sbrk must be non-random
fricas: hardening-no-pie usr/lib/fricas/target/i686-pc-linux-gnu/bin/FRICASsys
# gcl executables will likely work with bindnow, but may interefere with
# linker algorithms on some machines
fricas: hardening-no-bindnow usr/lib/fricas/target/i686-pc-linux-gnu/bin/FRICASsys
# Policy says we can put executables in usr/lib
fricas: executable-in-usr-lib usr/lib/fricas/target/i686-pc-linux-gnu/bin/FRICASsys
fricas: executable-in-usr-lib usr/lib/fricas/target/i686-pc-linux-gnu/bin/asq
fricas: executable-in-usr-lib usr/lib/fricas/target/i686-pc-linux-gnu/bin/clef
fricas: executable-in-usr-lib usr/lib/fricas/target/i686-pc-linux-gnu/bin/fricas
fricas: executable-in-usr-lib usr/lib/fricas/target/i686-pc-linux-gnu/bin/sman
fricas: executable-in-usr-lib usr/lib/fricas/target/i686-pc-linux-gnu/lib/SPADEDIT
fricas: executable-in-usr-lib usr/lib/fricas/target/i686-pc-linux-gnu/lib/ex2ht
fricas: executable-in-usr-lib usr/lib/fricas/target/i686-pc-linux-gnu/lib/presea
fricas: executable-in-usr-lib usr/lib/fricas/target/i686-pc-linux-gnu/lib/session
fricas: executable-in-usr-lib usr/lib/fricas/target/i686-pc-linux-gnu/lib/spadbuf
fricas: executable-in-usr-lib usr/lib/fricas/target/i686-pc-linux-gnu/lib/spadclient
# these are all correct
fricas: repeated-path-segment lib usr/lib/fricas/target/i686-pc-linux-gnu/lib/
# these are all correct
fricas: spelling-error-in-binary usr/lib/fricas/target/i686-pc-linux-gnu/bin/FRICASsys withon within
fricas: spelling-error-in-binary usr/lib/fricas/target/i686-pc-linux-gnu/bin/FRICASsys isnt isn't
fricas: spelling-error-in-binary usr/lib/fricas/target/i686-pc-linux-gnu/bin/FRICASsys yuR your
