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

* src/tgbaparse/Makefile.am (tgbaparse_HEADERS): Also

Browse source 
install location.hh and position.hh, since we no longer share
those of ltlvisit.
* src/evtgbaparse/Makefile.am (evtgbaparse_HEADERS): Likewise.
This commit is contained in:
Alexandre Duret-Lutz 2006-08-30 09:43:25 +00:00
parent 6cf223bba4
commit 94bf01a53c
3 changed files with 15 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

7
ChangeLog
View file

@ -1,3 +1,10 @@
2006-08-30 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/tgbaparse/Makefile.am (tgbaparse_HEADERS): Also
install location.hh and position.hh, since we no longer share
those of ltlvisit.
* src/evtgbaparse/Makefile.am (evtgbaparse_HEADERS): Likewise.
2006-08-17 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/ltlparse/public.hh: Work around Bison 2.3 unique guards.