riscv
/
alliance
mirror of https://gitlab.lip6.fr/vlsi-eda/alliance.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

build error on linking library

This commit is contained in:
Naohiko Shimizu 2020-03-12 22:07:09 +09:00
parent c0ee980480
commit 633beea992
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
alliance/src/abl/src/Makefile.am
View File

@ -12,4 +12,4 @@ libAbl_la_SOURCES = abldel.h ablflat.h abloptim.h ablunflat.h
ablctlsimp.h ablerror.h ablmap.h ablsubst.h \ ablctlsimp.h ablerror.h ablmap.h ablsubst.h \
abldel.c ablflat.c abloptim.c ablunflat.c abldel.c ablflat.c abloptim.c ablunflat.c
libAbl_la_LDFLAGS = -version-info @ABL_DLL_VERSION@ -L../../aut/src libAbl_la_LDFLAGS = -version-info @ABL_DLL_VERSION@ -L../../aut/src
libAbl_la_LIBADD = -lAut -lMut libAbl_la_LIBADD = -L../../aut/src/.libs -lAut -L../../mbk/src/.libs -lMut

2
alliance/src/bdd/src/Makefile.am
View File

@ -24,5 +24,5 @@ libBdd_la_SOURCES = bdd.h bddenv.h bddimply.h bddsimp
bdddump.h bddhoper.h bddsatisfy.h \ bdddump.h bddhoper.h bddsatisfy.h \
bddenv.c bddimply.c bddsimpdc.c bddenv.c bddimply.c bddsimpdc.c
libBdd_la_LDFLAGS = -version-info @BDD_DLL_VERSION@ -L../../abl/src -L../../mbk/src libBdd_la_LDFLAGS = -version-info @BDD_DLL_VERSION@ -L../../abl/src -L../../mbk/src -L../../aut/src
libBdd_la_LIBADD = -lAbl -lAut libBdd_la_LIBADD = -lAbl -lAut