File cudd-automake.diff of Package cudd

Overview Repositories Revisions Requests Users Attributes Meta

File cudd-automake.diff of Package cudd

From: Jan Engelhardt <jengelh@inai.de>
Date: 2013-04-16 05:55:27.665641611 +0200

build: provide automake build files

Provide an autoconfiguring build system in favor of Makefiles requiring
manual editing or parameter passing.

Index: cudd-2.5.0/Makefile.am
===================================================================
--- /dev/null
+++ cudd-2.5.0/Makefile.am
@@ -0,0 +1,4 @@
+# -*- Makefile -*-
+
+ACLOCAL_AMFLAGS = -I m4
+SUBDIRS = util st mtr epd cudd dddmp nanotrav
Index: cudd-2.5.0/configure.ac
===================================================================
--- /dev/null
+++ cudd-2.5.0/configure.ac
@@ -0,0 +1,20 @@
+AC_INIT([cudd], [2.5.0])
+AC_CONFIG_AUX_DIR([build-aux])
+AC_CONFIG_MACRO_DIR([m4])
+AM_INIT_AUTOMAKE([-Wall foreign tar-pax])
+AS_IF([test -z "$CFLAGS"], [CFLAGS="-g -O3 -mtune=native -malign-double"])
+AC_PROG_CC
+m4_ifdef([AM_PROG_AR], [AM_PROG_AR])
+LT_INIT
+
+AC_CHECK_SIZEOF([void *])
+AC_CHECK_SIZEOF([long])
+cudd_CPPFLAGS='-DHAVE_IEEE_754 -DBSD -I${top_srcdir}/util -I${top_srcdir}/st \
+	-I${top_srcdir}/mtr -I${top_srcdir}/epd'
+cudd_CFLAGS='-Wall'
+AC_SUBST([cudd_CPPFLAGS])
+AC_SUBST([cudd_CFLAGS])
+
+AC_CONFIG_FILES([Makefile util/Makefile st/Makefile mtr/Makefile epd/Makefile
+	dddmp/Makefile cudd/Makefile nanotrav/Makefile])
+AC_OUTPUT
Index: cudd-2.5.0/cudd/Makefile.am
===================================================================
--- /dev/null
+++ cudd-2.5.0/cudd/Makefile.am
@@ -0,0 +1,27 @@
+# -*- Makefile -*-
+
+AM_CPPFLAGS = ${cudd_CPPFLAGS} -DDD_STATS
+AM_CFLAGS   = ${cudd_CFLAGS}
+
+lib_LTLIBRARIES = libcudd.la
+
+libcudd_la_SOURCES = \
+	cuddAPI.c cuddAddAbs.c cuddAddApply.c cuddAddFind.c cuddAddIte.c \
+	cuddAddInv.c cuddAddNeg.c cuddAddWalsh.c cuddAndAbs.c \
+	cuddAnneal.c cuddApa.c cuddApprox.c cuddBddAbs.c cuddBddCorr.c \
+	cuddBddIte.c cuddBridge.c cuddCache.c cuddCheck.c cuddClip.c \
+	cuddCof.c cuddCompose.c cuddDecomp.c cuddEssent.c \
+	cuddExact.c cuddExport.c cuddGenCof.c cuddGenetic.c \
+	cuddGroup.c cuddHarwell.c cuddInit.c cuddInteract.c \
+	cuddLCache.c cuddLevelQ.c \
+	cuddLinear.c cuddLiteral.c cuddMatMult.c cuddPriority.c \
+	cuddRead.c cuddRef.c cuddReorder.c cuddSat.c cuddSign.c \
+	cuddSolve.c cuddSplit.c cuddSubsetHB.c cuddSubsetSP.c cuddSymmetry.c \
+	cuddTable.c cuddUtil.c cuddWindow.c cuddZddCount.c cuddZddFuncs.c \
+	cuddZddGroup.c cuddZddIsop.c cuddZddLin.c cuddZddMisc.c \
+	cuddZddPort.c cuddZddReord.c cuddZddSetop.c cuddZddSymm.c \
+	cuddZddUtil.c \
+	cudd.h cuddInt.h
+libcudd_la_LIBADD  = -lm ../st/libcudd_st.la ../epd/libcudd_epd.la ../mtr/libcudd_mtr.la
+
+pkginclude_HEADERS = cudd.h cuddInt.h
Index: cudd-2.5.0/dddmp/Makefile.am
===================================================================
--- /dev/null
+++ cudd-2.5.0/dddmp/Makefile.am
@@ -0,0 +1,17 @@
+# -*- Makefile -*-
+
+AM_CPPFLAGS = ${cudd_CPPFLAGS} -I${top_srcdir}/cudd
+AM_CFLAGS   = ${cudd_CFLAGS}
+
+lib_LTLIBRARIES = libdddmp.la
+
+libdddmp_la_SOURCES = \
+	dddmpStoreBdd.c dddmpStoreAdd.c dddmpStoreCnf.c \
+	dddmpLoad.c dddmpLoadCnf.c \
+	dddmpNodeBdd.c dddmpNodeAdd.c dddmpNodeCnf.c \
+	dddmpStoreMisc.c dddmpUtil.c dddmpBinary.c dddmpConvert.c \
+	dddmpDbg.c \
+	dddmp.h dddmpInt.h
+libdddmp_la_LIBADD  = ../util/libcudd_util.la ../st/libcudd_st.la ../cudd/libcudd.la
+
+pkginclude_HEADERS = dddmp.h dddmpInt.h
Index: cudd-2.5.0/epd/Makefile.am
===================================================================
--- /dev/null
+++ cudd-2.5.0/epd/Makefile.am
@@ -0,0 +1,11 @@
+# -*- Makefile -*-
+
+AM_CPPFLAGS = ${cudd_CPPFLAGS}
+AM_CFLAGS   = ${cudd_CFLAGS}
+
+lib_LTLIBRARIES = libcudd_epd.la
+
+libcudd_epd_la_SOURCES = epd.c epd.h
+libcudd_epd_la_LIBADD  = -lm ../util/libcudd_util.la
+
+pkginclude_HEADERS = epd.h
Index: cudd-2.5.0/m4/.gitignore
===================================================================
--- /dev/null
+++ cudd-2.5.0/m4/.gitignore
@@ -0,0 +1,2 @@
+/libtool.m4
+/lt*.m4
Index: cudd-2.5.0/mtr/Makefile.am
===================================================================
--- /dev/null
+++ cudd-2.5.0/mtr/Makefile.am
@@ -0,0 +1,14 @@
+# -*- Makefile -*-
+
+AM_CPPFLAGS = ${cudd_CPPFLAGS}
+AM_CFLAGS   = ${cudd_CFLAGS}
+
+lib_LTLIBRARIES = libcudd_mtr.la
+
+libcudd_mtr_la_SOURCES = mtrBasic.c mtrGroup.c mtr.h
+libcudd_mtr_la_LIBADD  = ../util/libcudd_util.la
+
+noinst_PROGRAMS = testmtr
+testmtr_LDADD   = libcudd_mtr.la
+
+pkginclude_HEADERS = mtr.h mtrInt.h
Index: cudd-2.5.0/nanotrav/Makefile.am
===================================================================
--- /dev/null
+++ cudd-2.5.0/nanotrav/Makefile.am
@@ -0,0 +1,14 @@
+# -*- Makefile -*-
+
+AM_CPPFLAGS = ${cudd_CPPFLAGS} -I${top_srcdir}/cudd -I${top_srcdir}/dddmp
+AM_CFLAGS   = ${cudd_CFLAGS}
+
+noinst_PROGRAMS = nanotrav
+
+nanotrav_SOURCES = \
+	main.c bnet.c ntr.c ntrHeap.c ntrBddTest.c ntrMflow.c ntrZddTest.c \
+	ntrShort.c chkMterm.c ucbqsort.c \
+	bnet.h ntr.h
+nanotrav_LDADD = \
+	../util/libcudd_util.la ../st/libcudd_st.la \
+	../cudd/libcudd.la ../dddmp/libdddmp.la
Index: cudd-2.5.0/st/Makefile.am
===================================================================
--- /dev/null
+++ cudd-2.5.0/st/Makefile.am
@@ -0,0 +1,11 @@
+# -*- Makefile -*-
+
+AM_CPPFLAGS = ${cudd_CPPFLAGS}
+AM_CFLAGS   = ${cudd_CFLAGS}
+
+lib_LTLIBRARIES = libcudd_st.la
+
+libcudd_st_la_SOURCES = st.c st.h
+libcudd_st_la_LIBADD  = ../util/libcudd_util.la
+
+pkginclude_HEADERS = st.h
Index: cudd-2.5.0/util/Makefile.am
===================================================================
--- /dev/null
+++ cudd-2.5.0/util/Makefile.am
@@ -0,0 +1,13 @@
+# -*- Makefile -*-
+
+AM_CPPFLAGS = ${cudd_CPPFLAGS} -DUNIX
+AM_CFLAGS   = ${cudd_CFLAGS}
+
+lib_LTLIBRARIES = libcudd_util.la
+
+libcudd_util_la_SOURCES = \
+	cpu_time.c cpu_stats.c safe_mem.c strsav.c texpand.c \
+	ptime.c prtime.c pipefork.c pathsearch.c stub.c datalimit.c \
+	util.h
+
+pkginclude_HEADERS = util.h

Places

File cudd-automake.diff of Package cudd

Places