From 633beea992899175acb8ef67274e3bcdf802fec5 Mon Sep 17 00:00:00 2001 From: Naohiko Shimizu Date: Thu, 12 Mar 2020 22:07:09 +0900 Subject: [PATCH] build error on linking library --- alliance/src/abl/src/Makefile.am | 2 +- alliance/src/bdd/src/Makefile.am | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/alliance/src/abl/src/Makefile.am b/alliance/src/abl/src/Makefile.am index c332d426..ce147522 100644 --- a/alliance/src/abl/src/Makefile.am +++ b/alliance/src/abl/src/Makefile.am @@ -12,4 +12,4 @@ libAbl_la_SOURCES = abldel.h ablflat.h abloptim.h ablunflat.h ablctlsimp.h ablerror.h ablmap.h ablsubst.h \ abldel.c ablflat.c abloptim.c ablunflat.c 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 diff --git a/alliance/src/bdd/src/Makefile.am b/alliance/src/bdd/src/Makefile.am index 8dbea95a..554693f9 100644 --- a/alliance/src/bdd/src/Makefile.am +++ b/alliance/src/bdd/src/Makefile.am @@ -24,5 +24,5 @@ libBdd_la_SOURCES = bdd.h bddenv.h bddimply.h bddsimp bdddump.h bddhoper.h bddsatisfy.h \ 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