diff --git a/iface/ltsmin/Makefile.am b/iface/ltsmin/Makefile.am index 8cf828ece..537b98052 100644 --- a/iface/ltsmin/Makefile.am +++ b/iface/ltsmin/Makefile.am @@ -1,5 +1,6 @@ -## Copyright (C) 2011, 2013, 2014 Laboratoire de Recherche et Developpement -## de l'Epita (LRDE). +## -*- coding: utf-8 -*- +## Copyright (C) 2011, 2013, 2014, 2015 Laboratoire de Recherche et +## Developpement de l'Epita (LRDE). ## ## This file is part of Spot, a model checking library. ## @@ -24,7 +25,7 @@ ltsmindir = $(pkgincludedir)/iface/ltsmin ltsmin_HEADERS = ltsmin.hh -lib_LTLIBRARIES = libspotltsmin.la +noinst_LTLIBRARIES = libspotltsmin.la libspotltsmin_la_LIBADD = \ $(top_builddir)/src/libspot.la \ $(top_builddir)/ltdl/libltdlc.la -lpthread