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 =