spielwiese
|
Last change
on this file since 89e8e3 was
89e8e3,
checked in by Hans Schoenemann <hannes@…>, 9 years ago
|
|
fix: "make dist"
|
-
Property mode set to
100644
|
|
File size:
738 bytes
|
| Line | |
|---|
| 1 | ACLOCAL_AMFLAGS = -I m4 |
|---|
| 2 | |
|---|
| 3 | if ENABLE_FACTORY |
|---|
| 4 | USE_FACTORY = factory |
|---|
| 5 | endif |
|---|
| 6 | |
|---|
| 7 | SUBDIRS = resources omalloc xalloc $(USE_FACTORY) \ |
|---|
| 8 | libpolys gfanlib IntegerProgramming \ |
|---|
| 9 | kernel Singular \ |
|---|
| 10 | dox emacs redhat desktop |
|---|
| 11 | |
|---|
| 12 | EXTRA_DIST = README README.md README.pkg autogen.sh git-version-gen doxy redhat/singular.spec.in redhat/singular.spec |
|---|
| 13 | |
|---|
| 14 | bin_SCRIPTS = libsingular-config |
|---|
| 15 | |
|---|
| 16 | dist-hook: |
|---|
| 17 | $(srcdir)/git-version-gen $(srcdir)/.tarball-git-version > $(distdir)/.tarball-git-version |
|---|
| 18 | |
|---|
| 19 | |
|---|
| 20 | configheaderdir = ${includedir}/singular |
|---|
| 21 | nodist_configheader_HEADERS = singularconfig.h |
|---|
| 22 | DISTCLEANFILES = $(nodist_configheader_HEADERS) |
|---|
| 23 | |
|---|
| 24 | dist_man1_MANS = doc/Singular.man doc/ESingular.man doc/TSingular.man |
|---|
| 25 | |
|---|
| 26 | pkgconfigdir = $(libdir)/pkgconfig |
|---|
| 27 | pkgconfig_DATA = Singular.pc |
|---|
Note: See
TracBrowser
for help on using the repository browser.
