diff options
Diffstat (limited to 'debian/open-axiom.install')
| -rw-r--r-- | debian/open-axiom.install | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/debian/open-axiom.install b/debian/open-axiom.install index a4ee7cf..c8c7a8b 100644 --- a/debian/open-axiom.install +++ b/debian/open-axiom.install @@ -1,10 +1,13 @@ usr/bin/open-axiom usr/lib/open-axiom/lib/ex2ht -# *.o for GCL -# *.fasl for SBCL -# it's a kind of hack -usr/lib/open-axiom/algebra/*.{o,fasl} +# We make choice in debian/rules: +# +# SBCL: usr/lib/open-axiom/algebra/*.fasl +# GCL: usr/lib/open-axiom/algebra/*.o + +# SBCL: usr/lib/open-axiom/lib/libopen-axiom-core.so +# GCL: NOTHING usr/lib/open-axiom/lib/session usr/lib/open-axiom/lib/spadbuf @@ -24,9 +27,5 @@ usr/lib/open-axiom/bin/clef usr/lib/open-axiom/bin/asq usr/lib/open-axiom/bin/AXIOMsys -# GCL does not use shared libs -# for SBCL we put this lib in debian/rules -#usr/lib/open-axiom/lib/libopen-axiom-core.so - debian/open-axiom.xpm /usr/share/pixmaps/ debian/open-axiom.desktop /usr/share/applications/ |