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

Fix ta/ and taalgos/ include path for VPATH builds.

Browse source 
* src/ta/Makefile.am, src/taalgos/Makefile.am: Add -I..
This commit is contained in:
Alexandre Duret-Lutz 2012-06-24 17:07:22 +02:00
parent 20c7f1e8cf
commit be6071184e
2 changed files with 22 additions and 21 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/ta/Makefile.am
View file

@ -1,4 +1,5 @@
## Copyright (C) 2010 Laboratoire de Recherche et Développement ## -*- coding: utf-8 -*-
## Copyright (C) 2010, 2012 Laboratoire de Recherche et Développement
## de l'Epita (LRDE). ## de l'Epita (LRDE).
## ##
## This file is part of Spot, a model checking library. ## This file is part of Spot, a model checking library.
@ -18,7 +19,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$(srcdir)/.. $(BUDDY_CPPFLAGS) AM_CPPFLAGS = -I$(srcdir)/.. -I.. $(BUDDY_CPPFLAGS)
AM_CXXFLAGS = $(WARNING_CXXFLAGS) AM_CXXFLAGS = $(WARNING_CXXFLAGS)
tadir = $(pkgincludedir)/ta tadir = $(pkgincludedir)/ta

6
src/taalgos/Makefile.am
View file

@ -1,4 +1,5 @@
## Copyright (C) 2010 Laboratoire de Recherche et Développement ## -*- coding: utf-8 -*-
## Copyright (C) 2010, 2012 Laboratoire de Recherche et Développement
## de l'Epita (LRDE). ## de l'Epita (LRDE).
## ##
## This file is part of Spot, a model checking library.et Marie Curie. ## This file is part of Spot, a model checking library.et Marie Curie.
@ -19,7 +20,7 @@
## 02111-1307, USA. ## 02111-1307, USA.
AM_CPPFLAGS = -I$(srcdir)/.. $(BUDDY_CPPFLAGS) AM_CPPFLAGS = -I$(srcdir)/.. -I.. $(BUDDY_CPPFLAGS)
AM_CXXFLAGS = $(WARNING_CXXFLAGS) AM_CXXFLAGS = $(WARNING_CXXFLAGS)
taalgosdir = $(pkgincludedir)/taalgos taalgosdir = $(pkgincludedir)/taalgos
@ -42,4 +43,3 @@ libtaalgos_la_SOURCES = \
statessetbuilder.cc \ statessetbuilder.cc \
minimize.cc \ minimize.cc \
emptinessta.cc emptinessta.cc