From e201c3c9da11b42511381072568fb2005e4c5c8f Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 23 Apr 2015 17:27:22 +0200 Subject: [PATCH] ltsmin: do not install the library For some reason, we used to install the library (causing the warning from Lintian while building the Debian packages) and not the binary. Let's not install any of these: the user interface is not nice enough. * iface/ltsmin/Makefile.am: Do not install libspotltsmin.la. --- iface/ltsmin/Makefile.am | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) 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