alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Setup libltdl in ltdl/, so we can use it in the dve2 interface.

Browse source 
Don't keep it under version control since it is installed by
autoreconf.

* configure.ac: Call LT_CONFIG_LTDL_DIR and LTDL_INIT.
* README: Mention ltdl/.
* Makefile.am: Recurse into ldtl.
* iface/dve2/Makefile.am: Link with it.
This commit is contained in:
Alexandre Duret-Lutz 2011-03-05 11:52:55 +01:00
parent 3427f3bf0e
commit 155d76f4fb
7 changed files with 25 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

1
.gitignore vendored
View file

@ -42,3 +42,4 @@ cachegrind.*
*.gcda *.gcda
*.gcno *.gcno
*.info *.info
ltdl

12
ChangeLog
View file

@ -1,3 +1,15 @@
2011-03-05 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Setup libltdl in ltdl/, so we can use it in the dve2 interface.
Don't keep it under version control since it is installed by
autoreconf.
* configure.ac: Call LT_CONFIG_LTDL_DIR and LTDL_INIT.
* README: Mention ltdl/.
* Makefile.am: Recurse into ldtl.
* iface/dve2/Makefile.am: Link with it.
2011-03-05 Alexandre Duret-Lutz <adl@lrde.epita.fr> 2011-03-05 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Setup build system for a new dve2 interface. Setup build system for a new dve2 interface.

4
Makefile.am
View file

@ -1,3 +1,5 @@
## Copyright (C) 2011 Laboratoire de Recherche et Développement
## de l'Epita (LRDE).
## Copyright (C) 2003, 2005 Laboratoire d'Informatique de Paris 6 (LIP6), ## Copyright (C) 2003, 2005 Laboratoire d'Informatique de Paris 6 (LIP6),
## département Systèmes Répartis Coopératifs (SRC), Université Pierre ## département Systèmes Répartis Coopératifs (SRC), Université Pierre
## et Marie Curie. ## et Marie Curie.
@ -33,7 +35,7 @@ if NEVER
NEVER_BENCH = bench NEVER_BENCH = bench
endif endif
SUBDIRS = $(MAYBE_BUDDY) $(MAYBE_LBTT) $(NEVER_BENCH) doc src wrap iface SUBDIRS = $(MAYBE_BUDDY) $(MAYBE_LBTT) $(NEVER_BENCH) doc src wrap ltdl iface
ACLOCAL_AMFLAGS = -I m4 ACLOCAL_AMFLAGS = -I m4
EXTRA_DIST = HACKING EXTRA_DIST = HACKING

1
README
View file

@ -156,6 +156,7 @@ Third party software
buddy/ A patched version of BuDDy 2.3 (a BDD library). buddy/ A patched version of BuDDy 2.3 (a BDD library).
lbtt/ lbtt 1.2.1 (an LTL to Büchi automata test bench). lbtt/ lbtt 1.2.1 (an LTL to Büchi automata test bench).
ltdl/ Libtool's portable dlopen() wrapper library.
iface/ Interfaces to other libraries. iface/ Interfaces to other libraries.
nips/ NIPS interface (to use Promela models). nips/ NIPS interface (to use Promela models).
nips_vm/ NIPS VM 1.2.7 (New Implementation of Promela Semantics nips_vm/ NIPS VM 1.2.7 (New Implementation of Promela Semantics

2
configure.ac
View file

@ -51,7 +51,9 @@ AX_CHECK_BOOST([1.34], [103400])
AC_CHECK_FUNCS([srand48 drand48]) AC_CHECK_FUNCS([srand48 drand48])
LT_CONFIG_LTDL_DIR([ltdl])
LT_INIT([win32-dll]) LT_INIT([win32-dll])
LTDL_INIT([subproject convenience])
spot_INTEL spot_INTEL
if test x$enable_warnings = xyes; then if test x$enable_warnings = xyes; then

6
iface/dve2/Makefile.am
View file

@ -18,7 +18,7 @@
## Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA ## Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
## 02111-1307, USA. ## 02111-1307, USA.
AM_CPPFLAGS = -I$(top_srcdir)/src $(BUDDY_CPPFLAGS) AM_CPPFLAGS = -I$(top_srcdir)/src $(BUDDY_CPPFLAGS) -I$(top_srcdir)/ltdl
AM_CXXFLAGS = $(WARNING_CXXFLAGS) AM_CXXFLAGS = $(WARNING_CXXFLAGS)
dve2dir = $(pkgincludedir)/iface/dve2 dve2dir = $(pkgincludedir)/iface/dve2
@ -26,5 +26,7 @@ dve2dir = $(pkgincludedir)/iface/dve2
dve2_HEADERS = dve2.hh dve2_HEADERS = dve2.hh
lib_LTLIBRARIES = libspotdve2.la lib_LTLIBRARIES = libspotdve2.la
libspotdve2_la_LIBADD = $(top_builddir)/src/libspot.la libspotdve2_la_LIBADD = \
$(top_builddir)/src/libspot.la \
$(top_builddir)/ltdl/libltdlc.la
libspotdve2_la_SOURCES = dve2.cc libspotdve2_la_SOURCES = dve2.cc

2
m4/.gitignore vendored
View file

@ -3,3 +3,5 @@ ltoptions.m4
ltsugar.m4 ltsugar.m4
ltversion.m4 ltversion.m4
lt~obsolete.m4 lt~obsolete.m4
argz.m4
ltdl.m4