From ad133facc01a8b093d83cc0c28e5b97da80b91ba Mon Sep 17 00:00:00 2001 From: Jens Vollinga Date: Fri, 8 Jul 2005 15:46:38 +0000 Subject: [PATCH] Updated Debian configuration [A.Sheplyakov]. --- debian/ginac-tools.install | 5 +++++ debian/libginac-dev.install | 9 +++++++++ debian/libginac1.4.install | 1 + 3 files changed, 15 insertions(+) create mode 100644 debian/ginac-tools.install create mode 100644 debian/libginac-dev.install create mode 100644 debian/libginac1.4.install diff --git a/debian/ginac-tools.install b/debian/ginac-tools.install new file mode 100644 index 00000000..80f9059e --- /dev/null +++ b/debian/ginac-tools.install @@ -0,0 +1,5 @@ +debian/tmp/usr/bin/ginsh +debian/tmp/usr/bin/viewgar +debian/tmp/usr/share/man/man1/ginsh* +debian/tmp/usr/share/man/man1/viewgar* +debian/ginac.xpm usr/share/pixmaps diff --git a/debian/libginac-dev.install b/debian/libginac-dev.install new file mode 100644 index 00000000..19a09d27 --- /dev/null +++ b/debian/libginac-dev.install @@ -0,0 +1,9 @@ +debian/tmp/usr/lib/libginac.la +debian/tmp/usr/lib/libginac.a +debian/tmp/usr/lib/libginac.so +debian/tmp/usr/include/ginac/* +debian/tmp/usr/bin/ginac-config +debian/tmp/usr/share/aclocal/ginac.m4 +debian/tmp/usr/lib/pkgconfig/ginac.pc +debian/tmp/usr/share/info/ginac* +debian/tmp/usr/share/man/man1/ginac-config* diff --git a/debian/libginac1.4.install b/debian/libginac1.4.install new file mode 100644 index 00000000..67e54d9d --- /dev/null +++ b/debian/libginac1.4.install @@ -0,0 +1 @@ +debian/tmp/usr/lib/libginac*.so.* -- 2.47.0