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
2 parent s 177e747 + 6581520
Raw File
Tip revision: 51d228924691fa6b39f5a666fa1fd5125f7ff770 authored by Hans Schoenemann on 31 May 2019, 15:15:19 UTC
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
back to top