https://github.com/ederc/Sources
Revision 51d228924691fa6b39f5a666fa1fd5125f7ff770 authored by Hans Schoenemann on 31 May 2019, 15:15:19 UTC, committed by Hans Schoenemann on 31 May 2019, 15:15:19 UTC
Tip revision: 51d228924691fa6b39f5a666fa1fd5125f7ff770 authored by Hans Schoenemann on 31 May 2019, 15:15:19 UTC
Merge branch 'ederc-local-z' into spielwiese
Merge branch 'ederc-local-z' into spielwiese
Tip revision: 51d2289
Makefile.am
ACLOCAL_AMFLAGS = -I m4
SUBDIRS = resources omalloc factory \
libpolys gfanlib IntegerProgramming \
kernel Singular \
dox emacs redhat desktop
EXTRA_DIST = README README.md README.pkg autogen.sh git-version-gen doxy redhat/singular.spec.in GPL2 GPL3 doc/doc.tbz2
bin_SCRIPTS = libsingular-config
dist-hook:
$(srcdir)/git-version-gen $(srcdir)/.tarball-git-version > $(distdir)/.tarball-git-version
install-data-local:
if test -e $(srcdir)/doc/doc.tbz2; then\
(cat ${top_srcdir}/doc/doc.tbz2| (cd $(DESTDIR)$(datadir)/singular; tar jxf -));\
mkdir $(DESTDIR)$(datadir)/info;\
mkdir $(DESTDIR)$(datadir)/doc;\
mv $(DESTDIR)$(datadir)/singular/singular.hlp $(DESTDIR)$(datadir)/info/.;\
fi
uninstall-local:
-(cd $(DESTDIR)$(datadir); rm -rf singular info/singular.hlp)
configheaderdir = ${includedir}/singular
nodist_configheader_HEADERS = singularconfig.h
DISTCLEANFILES = $(nodist_configheader_HEADERS)
dist_man1_MANS = doc/Singular.man doc/ESingular.man doc/TSingular.man
pkgconfigdir = $(libdir)/pkgconfig
pkgconfig_DATA = Singular.pc
Computing file changes ...