From 53ea1131e6ccdcfd0359ee1cbeab057377290dc2 Mon Sep 17 00:00:00 2001 From: Etienne Renault Date: Thu, 7 Nov 2019 15:02:12 +0800 Subject: [PATCH] Fixup: missing dependency bloemen * spot/mc/Makefile.am: here. --- spot/mc/Makefile.am | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/spot/mc/Makefile.am b/spot/mc/Makefile.am index e08460207..2ec1567c9 100644 --- a/spot/mc/Makefile.am +++ b/spot/mc/Makefile.am @@ -1,6 +1,6 @@ ## -*- coding: utf-8 -*- -## Copyright (C) 2015, 2016, 2017 Laboratoire de Recherche et Développement de -## l'Epita (LRDE). +## Copyright (C) 2015, 2016, 2017, 2019 Laboratoire de Recherche et +## Développement de l'Epita (LRDE). ## ## This file is part of Spot, a model checking library. ## @@ -22,7 +22,7 @@ AM_CXXFLAGS = $(WARNING_CXXFLAGS) mcdir = $(pkgincludedir)/mc mc_HEADERS = reachability.hh intersect.hh ec.hh unionfind.hh utils.hh\ - mc.hh deadlock.hh bloemen.hh cndfs.hh + mc.hh deadlock.hh bloemen.hh bloemen_ec.hh cndfs.hh noinst_LTLIBRARIES = libmc.la