diff options
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index d7cfc65..5332fb9 100755 --- a/debian/rules +++ b/debian/rules @@ -67,7 +67,12 @@ override_dh_auto_clean: override_dh_install: ifeq ($(LISP), sbcl) - dh_install -p open-axiom usr/lib/open-axiom/lib/libopen-axiom-core.so + dh_install -p open-axiom \ + usr/lib/open-axiom/lib/libopen-axiom-core.so \ + usr/lib/open-axiom/algebra/*.fasl +else + dh_install -p open-axiom \ + usr/lib/open-axiom/algebra/*.o endif dh_install --list-missing |