diff options
Diffstat (limited to 'debian/open-axiom.lintian-overrides')
-rw-r--r-- | debian/open-axiom.lintian-overrides | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/debian/open-axiom.lintian-overrides b/debian/open-axiom.lintian-overrides new file mode 100644 index 0000000..a35891d --- /dev/null +++ b/debian/open-axiom.lintian-overrides @@ -0,0 +1,9 @@ +# AXIOMsys is built by open-axiom driver: +# ../../src/driver/open-axiom --execpath=../../x86_64-pc-linux-gnu/bin/bootsys \ +# --syslib=../../x86_64-pc-linux-gnu/lib \ +# --system="../../x86_64-pc-linux-gnu/" \ +# --sysalg="../../x86_64-pc-linux-gnu/algebra/" \ +# --prologue="(pushnew :open-axiom-algebra-system *features*)" \ +# --make --output=../../x86_64-pc-linux-gnu/bin/AXIOMsys --main="BOOT::|systemMain|" \ +# --load-directory=. boot-pkg.fasl ... +open-axiom: hardening-no-relro usr/lib/open-axiom/bin/AXIOMsys |