spielwiese
Last change
on this file since 7d6820 was
94479b,
checked in by Hans Schoenemann <hannes@…>, 4 years ago
|
doc/doc.tbz2 is an extra file
|
-
Property mode set to
100644
|
File size:
933 bytes
|
Line | |
---|
1 | ACLOCAL_AMFLAGS = -I m4 |
---|
2 | |
---|
3 | SUBDIRS = resources omalloc factory \ |
---|
4 | libpolys gfanlib IntegerProgramming \ |
---|
5 | kernel Singular \ |
---|
6 | dox emacs redhat desktop |
---|
7 | |
---|
8 | EXTRA_DIST = README README.md README.pkg autogen.sh doxy redhat/singular.spec.in GPL2 GPL3 |
---|
9 | |
---|
10 | bin_SCRIPTS = libsingular-config |
---|
11 | |
---|
12 | install-data-local: |
---|
13 | if test -e $(srcdir)/doc/doc.tbz2; then\ |
---|
14 | (cat ${top_srcdir}/doc/doc.tbz2| (cd $(DESTDIR)$(datadir)/singular; tar jxf -));\ |
---|
15 | mkdir $(DESTDIR)$(datadir)/info;\ |
---|
16 | mkdir $(DESTDIR)$(datadir)/doc;\ |
---|
17 | mv $(DESTDIR)$(datadir)/singular/singular.hlp $(DESTDIR)$(datadir)/info/.;\ |
---|
18 | fi |
---|
19 | |
---|
20 | uninstall-local: |
---|
21 | -(cd $(DESTDIR)$(datadir); rm -rf singular info/singular.hlp) |
---|
22 | |
---|
23 | configheaderdir = ${includedir}/singular |
---|
24 | nodist_configheader_HEADERS = singularconfig.h |
---|
25 | DISTCLEANFILES = $(nodist_configheader_HEADERS) |
---|
26 | |
---|
27 | dist_man1_MANS = doc/Singular.man doc/ESingular.man doc/TSingular.man |
---|
28 | |
---|
29 | pkgconfigdir = $(libdir)/pkgconfig |
---|
30 | pkgconfig_DATA = Singular.pc |
---|
Note: See
TracBrowser
for help on using the repository browser.