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

* iface/dve2/Makefile.am: Add missing dependency.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2013-03-26 17:07:51 +01:00
parent 9723738404
commit 2f5d961d10
1 changed files with 8 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

10
iface/dve2/Makefile.am
View file

@ -1,5 +1,5 @@
## Copyright (C) 2011 Laboratoire de Recherche et Developpement de
## l'Epita (LRDE).
## Copyright (C) 2011, 2013 Laboratoire de Recherche et Developpement
## de l'Epita (LRDE).
##
## This file is part of Spot, a model checking library.
##
@ -40,5 +40,11 @@ check_SCRIPTS = defs
TESTS = dve2check.test finite.test kripke.test
EXTRA_DIST = $(TESTS) beem-peterson.4.dve finite.dve
kripke.test: $(top_builddir)/src/kripketest/parse_print$(EXEEXT)
$(top_builddir)/src/kripketest/parse_print$(EXEEXT):
cd $(top_builddir)/src/kripketest && \
$(MAKE) $(AM_MAKEFLAGS) parse_print$(EXEEXT)
distclean-local:
rm -rf $(TESTS:.test=.dir)