From 57c41de5f01709191ea4729f2438ad21327a658f Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 9 Dec 2009 14:09:00 +0100 Subject: [PATCH] * src/Makefile.am (SUBDIRS): Fix missing ".", mistakenly removed by previous patch. --- ChangeLog | 5 +++++ src/Makefile.am | 9 +++++---- 2 files changed, 10 insertions(+), 4 deletions(-) diff --git a/ChangeLog b/ChangeLog index 83175a0d4..e578f70e4 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2009-12-09 Alexandre Duret-Lutz + + * src/Makefile.am (SUBDIRS): Fix missing ".", mistakenly removed + by previous patch. + 2009-11-30 Guillaume Sadegh An algorithm to complement TGBA into SABA. diff --git a/src/Makefile.am b/src/Makefile.am index f2ff54cd3..d67b09247 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -21,12 +21,13 @@ AUTOMAKE_OPTIONS = subdir-objects -# List directories in the order they must be built. -# Keep tests at the end. +# List directories in the order they must be built. Keep tests at the +# end, after building '.' (since the current directory contains +# libspot.la needed by the tests). SUBDIRS = misc ltlenv ltlast ltlvisit ltlparse eltlparse tgba \ tgbaalgos tgbaparse evtgba evtgbaalgos evtgbaparse kripke \ - saba sabaalgos ltltest eltltest tgbatest evtgbatest sabatest \ - sanity + saba sabaalgos . ltltest eltltest tgbatest evtgbatest \ + sabatest sanity lib_LTLIBRARIES = libspot.la libspot_la_SOURCES =