From 2f5d961d103b1d9976624063b7b2d110e199679a Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 26 Mar 2013 17:07:51 +0100
Subject: [PATCH] * iface/dve2/Makefile.am: Add missing dependency.

---
 iface/dve2/Makefile.am | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/iface/dve2/Makefile.am b/iface/dve2/Makefile.am
index 0a571226a..57a255db7 100644
--- a/iface/dve2/Makefile.am
+++ b/iface/dve2/Makefile.am
@@ -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)