[gringo] 07/11: debian/install: add libclingo library

[Thomas Krennwallner]

This is an automated email from the git hooks/post-receive script.

tkren-guest pushed a commit to branch devel
in repository gringo.

commit f5781138d7773619670b134cdbb94dbcde5f62a5
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Sat Oct 14 07:43:17 2017 +0000

    debian/install: add libclingo library
---
 debian/install | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/debian/install b/debian/install
index 57650b3..ee03735 100644
--- a/debian/install
+++ b/debian/install
@@ -1,4 +1,5 @@
-build/release/gringo usr/bin/
-build/release/clingo usr/bin/
-build/release/reify usr/bin/
-build/release/lpconvert usr/bin/
+build/hardening_mt/bin/gringo usr/bin/
+build/hardening_mt/bin/clingo usr/bin/
+build/hardening_mt/bin/reify usr/bin/
+build/hardening_mt/bin/lpconvert usr/bin/
+build/hardening_mt/bin/libclingo.so.1.0 usr/lib/

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gringo.git