From baa7a6f2589408a1a7f1881fc9cc38eb9ac72487 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 31 Jul 2003 11:47:21 +0000
Subject: [PATCH] * src/tgbaalgos/magic.cc, src/tgbaalgos/reachiter.cc: Include
 cassert. * iface/Makefile.am (SUBDIRS): Recurse in gspn only if condition
 WITH_GSPN.

---
 ChangeLog                  | 6 ++++++
 iface/Makefile.am          | 4 +++-
 src/tgbaalgos/magic.cc     | 1 +
 src/tgbaalgos/reachiter.cc | 1 +
 4 files changed, 11 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 94469f74a..31ff89b83 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2003-07-31  Alexandre Duret-Lutz  <adl@gnu.org>
+
+	* src/tgbaalgos/magic.cc, src/tgbaalgos/reachiter.cc: Include cassert.
+	* iface/Makefile.am (SUBDIRS): Recurse in gspn only if condition
+	WITH_GSPN.
+
 2003-07-30  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
 
 	* iface/gspn/gspn.cc (tgba_gspn::format_state): Call gspn's
diff --git a/iface/Makefile.am b/iface/Makefile.am
index c1f8b94aa..874395747 100644
--- a/iface/Makefile.am
+++ b/iface/Makefile.am
@@ -1 +1,3 @@
-SUBDIRS = gspn
+if WITH_GSPN
+  SUBDIRS = gspn
+endif
diff --git a/src/tgbaalgos/magic.cc b/src/tgbaalgos/magic.cc
index cd4c1cb3d..c3834e9e6 100644
--- a/src/tgbaalgos/magic.cc
+++ b/src/tgbaalgos/magic.cc
@@ -1,4 +1,5 @@
 #include <iterator>
+#include <cassert>
 #include "magic.hh"
 #include "tgba/bddprint.hh"
 
diff --git a/src/tgbaalgos/reachiter.cc b/src/tgbaalgos/reachiter.cc
index 3ded00601..4a68faf53 100644
--- a/src/tgbaalgos/reachiter.cc
+++ b/src/tgbaalgos/reachiter.cc
@@ -1,3 +1,4 @@
+#include <cassert>
 #include "reachiter.hh"
 
 namespace spot