File: makefile.am

package info (click to toggle)
mona 1.4-13-3
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 3,244 kB
  • sloc: ansic: 13,643; cpp: 12,612; sh: 9,051; makefile: 164; lisp: 48
file content (9 lines) | stat: -rw-r--r-- 380 bytes parent folder | download | duplicates (7) 
1
2
3
4
5
6
7
8
9
 
MAINTAINERCLEANFILES = makefile.in makefile
lib_LTLIBRARIES = libmonabdd.la
libmonabdd_la_SOURCES = bdd.c bdd_cache.c bdd_double.c bdd_dump.c bdd_dump.h \
	bdd_external.c bdd_external.h bdd_internal.h bdd_manager.c \
	bdd_trace.c hash.c hash.h
libmonabdd_la_LDFLAGS = -version-info 1:4
libmonabdd_la_LIBADD = ../Mem/libmonamem.la
monadir = $(includedir)/mona
mona_HEADERS = bdd.h