probleme du nom de librairie ...
This commit is contained in:
parent
ba020d3b95
commit
f26eddcecd
|
@ -2,7 +2,7 @@ CFLAGS = @CFLAGS@ \
|
||||||
-DALLIANCE_TOP=\"${ALLIANCE_TOP}\"
|
-DALLIANCE_TOP=\"${ALLIANCE_TOP}\"
|
||||||
lib_LIBRARIES = libBdd.a
|
lib_LIBRARIES = libBdd.a
|
||||||
include_HEADERS = bdd.h
|
include_HEADERS = bdd.h
|
||||||
libAbl_a_SOURCES = \
|
libBdd_a_SOURCES = \
|
||||||
bdd.h bddenv.h bddimply.h bddsimpdc.h \
|
bdd.h bddenv.h bddimply.h bddsimpdc.h \
|
||||||
bddalloc.c bdderror.c bddlog.c bddsubst.c \
|
bddalloc.c bdderror.c bddlog.c bddsubst.c \
|
||||||
bddalloc.h bdderror.h bddlog.h bddsubst.h \
|
bddalloc.h bdderror.h bddlog.h bddsubst.h \
|
||||||
|
|
Loading…
Reference in New Issue