[clasp] 02/03: Update upstream source from tag 'upstream/3.3.3'

[Thomas Krennwallner]

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

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

commit 2110ba947c7b054798dd69155c684b10724ac810
Merge: de6c4c0 3fb853f
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Sun Nov 12 08:31:17 2017 +0100

    Update upstream source from tag 'upstream/3.3.3'
    
    Update to upstream version '3.3.3'
    with Debian dir 20db3128f9e1de0c6ef7c8cfa49bf131eea49cdb

 CHANGES                            |  8 ++++++
 CMakeLists.txt                     | 52 ++++++++++++++++++++++++++++++++++----
 app/CMakeLists.txt                 |  6 ++++-
 cmake/clasp-config.cmake           |  2 --
 cmake/clasp-config.cmake.in        |  8 ++++++
 libpotassco/CMakeLists.txt         | 17 +++++++++----
 libpotassco/app/CMakeLists.txt     |  7 +++--
 libpotassco/potassco/basic_types.h |  2 +-
 libpotassco/src/CMakeLists.txt     | 11 ++++----
 libpotassco/src/application.cpp    | 21 +++++++++------
 libpotassco/src/string_convert.cpp |  2 +-
 src/CMakeLists.txt                 | 35 +++++++++++++------------
 src/clasp_facade.cpp               |  1 +
 src/dependency_graph.cpp           |  3 +--
 src/logic_program.cpp              |  1 -
 tests/dlp_builder_test.cpp         |  9 +++++++
 16 files changed, 136 insertions(+), 49 deletions(-)

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