-------------------------------------------------------------------------------
-- Phase: setup
-------------------------------------------------------------------------------

Installing /packages/All/re2c-0.14.3.txz
Installing /packages/All/ncurses-6.1.20190525.txz
pkg: Cannot runscript POST-INSTALL:Bad file descriptor
Installing /packages/All/indexinfo-0.3.1.txz
Installing /packages/All/libtextstyle-0.20.1.txz
pkg: Cannot runscript POST-INSTALL:Bad file descriptor
Installing /packages/All/gettext-runtime-0.20.1.txz
pkg: Cannot runscript POST-INSTALL:Bad file descriptor
Installing /packages/All/m4-1.4.18_1,1.txz
pkg: Cannot runscript POST-INSTALL:Bad file descriptor
Installing /packages/All/bison-3.5.2,1.txz
pkg: Cannot runscript POST-INSTALL:Bad file descriptor
Installing /packages/All/expat-2.2.8.txz
pkg: Cannot runscript POST-INSTALL:Bad file descriptor
Installing /packages/All/libffi-3.2.1_3.txz
pkg: Cannot runscript POST-INSTALL:Bad file descriptor
Installing /packages/All/readline-8.0.4.txz
pkg: Cannot runscript POST-INSTALL:Bad file descriptor
Installing /packages/All/openssl-1.1.1d,1.txz
pkg: Cannot runscript POST-INSTALL:Bad file descriptor
Installing /packages/All/python27-2.7.17_1.txz
pkg: Cannot runscript POST-INSTALL:Bad file descriptor
=====
Message from python27-2.7.17_1:

--
Note that some standard Python modules are provided as separate ports
as they require additional dependencies. They are available as:

bsddb           databases/py-bsddb
gdbm            databases/py-gdbm
sqlite3         databases/py-sqlite3
tkinter         x11-toolkits/py-tkinter
UNFLAVORED devel/scons -> use devel/scons@py27
Installing /packages/All/py27-setuptools-44.0.0.txz
pkg: Cannot runscript POST-INSTALL:Bad file descriptor
=====
Message from py27-setuptools-44.0.0:

--
Only /usr/local/bin/easy_install-2.7 script has been installed
  since Python 2.7 is not the default Python version.
Installing /packages/All/scons-3.1.1.txz
UNFLAVORED devel/scons -> use devel/scons@py27

SUCCEEDED 00:00:05

-------------------------------------------------------------------------------
-- Phase: check-sanity
-------------------------------------------------------------------------------

/!\ gringo-4.5.4_3: Makefile warnings, please consider fixing /!\

lang/python27 reached End of Life and will be removed on 2020-12-31, consider
converting to a modern version of python


SUCCEEDED 00:00:10

-------------------------------------------------------------------------------
-- Phase: pkg-depends
-------------------------------------------------------------------------------

===>   gringo-4.5.4_3 depends on file: /usr/local/sbin/pkg - found

SUCCEEDED 00:00:00

-------------------------------------------------------------------------------
-- Phase: fetch-depends
-------------------------------------------------------------------------------


SUCCEEDED 00:00:00

-------------------------------------------------------------------------------
-- Phase: fetch
-------------------------------------------------------------------------------

/!\ gringo-4.5.4_3: Makefile warnings, please consider fixing /!\

lang/python27 reached End of Life and will be removed on 2020-12-31, consider
converting to a modern version of python

===>   gringo-4.5.4_3 depends on file: /usr/local/sbin/pkg - found
===> Fetching all distfiles required by gringo-4.5.4_3 for building

SUCCEEDED 00:00:11

-------------------------------------------------------------------------------
-- Phase: checksum
-------------------------------------------------------------------------------

/!\ gringo-4.5.4_3: Makefile warnings, please consider fixing /!\

lang/python27 reached End of Life and will be removed on 2020-12-31, consider
converting to a modern version of python

===>   gringo-4.5.4_3 depends on file: /usr/local/sbin/pkg - found
===> Fetching all distfiles required by gringo-4.5.4_3 for building
=> SHA256 Checksum OK for gringo-4.5.4-source.tar.gz.

SUCCEEDED 00:00:10

-------------------------------------------------------------------------------
-- Phase: extract-depends
-------------------------------------------------------------------------------


SUCCEEDED 00:00:00

-------------------------------------------------------------------------------
-- Phase: extract
-------------------------------------------------------------------------------

/!\ gringo-4.5.4_3: Makefile warnings, please consider fixing /!\

lang/python27 reached End of Life and will be removed on 2020-12-31, consider
converting to a modern version of python

===>   gringo-4.5.4_3 depends on file: /usr/local/sbin/pkg - found
===> Fetching all distfiles required by gringo-4.5.4_3 for building
===>  Extracting for gringo-4.5.4_3
=> SHA256 Checksum OK for gringo-4.5.4-source.tar.gz.

Extracted Memory Use:   9.42M
SUCCEEDED 00:00:10

-------------------------------------------------------------------------------
-- Phase: patch-depends
-------------------------------------------------------------------------------


SUCCEEDED 00:00:00

-------------------------------------------------------------------------------
-- Phase: patch
-------------------------------------------------------------------------------

===>  Patching for gringo-4.5.4_3
===>  Applying ports patches for gringo-4.5.4_3

SUCCEEDED 00:00:01

-------------------------------------------------------------------------------
-- Phase: build-depends
-------------------------------------------------------------------------------

===>   gringo-4.5.4_3 depends on executable: re2c - found
===>   gringo-4.5.4_3 depends on executable: bison - found
===>   gringo-4.5.4_3 depends on file: /usr/local/bin/python2.7 - found
===>   gringo-4.5.4_3 depends on file: /usr/local/bin/scons - found

SUCCEEDED 00:00:00

-------------------------------------------------------------------------------
-- Phase: lib-depends
-------------------------------------------------------------------------------


SUCCEEDED 00:00:00

-------------------------------------------------------------------------------
-- Phase: configure
-------------------------------------------------------------------------------

===>   gringo-4.5.4_3 depends on executable: re2c - found
===>   gringo-4.5.4_3 depends on executable: bison - found
===>   gringo-4.5.4_3 depends on file: /usr/local/bin/python2.7 - found
===>   gringo-4.5.4_3 depends on file: /usr/local/bin/scons - found
===>  Configuring for gringo-4.5.4_3

SUCCEEDED 00:00:00

-------------------------------------------------------------------------------
-- Phase: build
-------------------------------------------------------------------------------

===>  Building for gringo-4.5.4_3
scons: Reading SConscript files ...
Checking for bison 2.5... yes
Checking for re2c... yes
Checking whether the C++ compiler works... yes
Checking whether the (shared) C++ compiler works... yes
Auto-detecting python (python-config)... no
Auto-detecting python (pkg-config)... no
Checking for C++ function snprintf()... yes
Checking for C++ function vsnprintf()... yes
Checking for C++ function std::to_string()... yes
Auto-detecting tbb (pkg-config)... no
Auto-detecting cppunit (pkg-config)... no
scons: done reading SConscript files.
scons: Building targets ...
c++ -o build/debug/app/gringo/main.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibgringo -Ibuild/debug/libgringo/src -Ilibgringo/src -Ilibprogram_opts -Ilibprogram_opts/src app/gringo/main.cc
c++ -o build/debug/libgringo/src/term.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibgringo -Ibuild/debug/libgringo/src -Ilibgringo/src -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/term.cc
c++ -o build/debug/libgringo/src/lua.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibgringo -Ibuild/debug/libgringo/src -Ilibgringo/src -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/lua.cc
c++ -o build/debug/libgringo/src/scripts.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibgringo -Ibuild/debug/libgringo/src -Ilibgringo/src -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/scripts.cc
c++ -o build/debug/libgringo/src/terms.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibgringo -Ibuild/debug/libgringo/src -Ilibgringo/src -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/terms.cc
c++ -o build/debug/libgringo/src/python.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibgringo -Ibuild/debug/libgringo/src -Ilibgringo/src -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/python.cc
c++ -o build/debug/libgringo/src/output/literal.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibgringo -Ibuild/debug/libgringo/src -Ilibgringo/src -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/output/literal.cc
c++ -o build/debug/libgringo/src/output/aggregates.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibgringo -Ibuild/debug/libgringo/src -Ilibgringo/src -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/output/aggregates.cc
c++ -o build/debug/libgringo/src/output/statements.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibgringo -Ibuild/debug/libgringo/src -Ilibgringo/src -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/output/statements.cc
c++ -o build/debug/libgringo/src/output/literals.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibgringo -Ibuild/debug/libgringo/src -Ilibgringo/src -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/output/literals.cc
c++ -o build/debug/libgringo/src/output/output.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibgringo -Ibuild/debug/libgringo/src -Ilibgringo/src -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/output/output.cc
c++ -o build/debug/libgringo/src/ground/instantiation.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibgringo -Ibuild/debug/libgringo/src -Ilibgringo/src -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/ground/instantiation.cc
c++ -o build/debug/libgringo/src/ground/literals.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibgringo -Ibuild/debug/libgringo/src -Ilibgringo/src -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/ground/literals.cc
In file included from libprogram_opts/program_opts/application.h:31,
                 from app/gringo/main.cc:40:
libprogram_opts/program_opts/program_options.h:123:22: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
  void addOption(std::auto_ptr<Option> option);
                      ^~~~~~~~
In file included from /usr/include/c++/8.0/memory:80,
                 from libgringo/gringo/utility.hh:24,
                 from libgringo/gringo/flyweight.hh:33,
                 from libgringo/gringo/input/programbuilder.hh:24,
                 from libgringo/gringo/input/nongroundparser.hh:24,
                 from app/gringo/main.cc:27:
/usr/include/c++/8.0/bits/unique_ptr.h:53:28: note: declared here
   template<typename> class auto_ptr;
                            ^~~~~~~~
In file included from app/gringo/main.cc:41:
libprogram_opts/program_opts/typed_value.h: In member function 'bool ProgramOptions::NotifiedValue<T>::doParse(const string&, const string&)':
libprogram_opts/program_opts/typed_value.h:118:8: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
   std::auto_ptr<T> holder;
        ^~~~~~~~
In file included from /usr/include/c++/8.0/memory:80,
                 from libgringo/gringo/utility.hh:24,
                 from libgringo/gringo/flyweight.hh:33,
                 from libgringo/gringo/input/programbuilder.hh:24,
                 from libgringo/gringo/input/nongroundparser.hh:24,
                 from app/gringo/main.cc:27:
/usr/include/c++/8.0/bits/unique_ptr.h:53:28: note: declared here
   template<typename> class auto_ptr;
                            ^~~~~~~~
c++ -o build/debug/libgringo/src/ground/program.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibgringo -Ibuild/debug/libgringo/src -Ilibgringo/src -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/ground/program.cc
c++ -o build/debug/libgringo/src/ground/statements.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibgringo -Ibuild/debug/libgringo/src -Ilibgringo/src -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/ground/statements.cc
c++ -o build/debug/libgringo/src/input/programbuilder.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibgringo -Ibuild/debug/libgringo/src -Ilibgringo/src -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/input/programbuilder.cc
bison -r all --report-file=build/debug/libgringo/src/input/nongroundgrammar/grammar.out -o build/debug/libgringo/src/input/nongroundgrammar/grammar.cc libgringo/src/input/nongroundgrammar.yy
bison -r all --report-file=build/debug/libgringo/src/input/groundtermgrammar/grammar.out -o build/debug/libgringo/src/input/groundtermgrammar/grammar.cc libgringo/src/input/groundtermgrammar.yy
c++ -o build/debug/libgringo/src/input/literals.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibgringo -Ibuild/debug/libgringo/src -Ilibgringo/src -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/input/literals.cc
libgringo/src/input/nongroundgrammar.yy:23.1-51: warning: deprecated directive: '%define namespace "Gringo::Input::NonGroundGrammar"', use '%define api.namespace {Gringo::Input::NonGroundGrammar}' [-Wdeprecated]
   23 | %define namespace "Gringo::Input::NonGroundGrammar"
      | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      | %define api.namespace {Gringo::Input::NonGroundGrammar}
libgringo/src/input/nongroundgrammar.yy:25.1-38: warning: deprecated directive: '%name-prefix "GringoNonGroundGrammar_"', use '%define api.prefix {GringoNonGroundGrammar_}' [-Wdeprecated]
   25 | %name-prefix "GringoNonGroundGrammar_"
      | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      | %define api.prefix {GringoNonGroundGrammar_}
libgringo/src/input/nongroundgrammar.yy:27.1-14: warning: deprecated directive: '%error-verbose', use '%define parse.error verbose' [-Wdeprecated]
   27 | %error-verbose
      | ^~~~~~~~~~~~~~
      | %define parse.error verbose
libgringo/src/input/nongroundgrammar.yy:29.1-39: warning: deprecated directive: '%define location_type "DefaultLocation"', use '%define api.location.type {DefaultLocation}' [-Wdeprecated]
   29 | %define location_type "DefaultLocation"
      | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      | %define api.location.type {DefaultLocation}
libgringo/src/input/groundtermgrammar.yy:22.1-52: warning: deprecated directive: '%define namespace "Gringo::Input::GroundTermGrammar"', use '%define api.namespace {Gringo::Input::GroundTermGrammar}' [-Wdeprecated]
   22 | %define namespace "Gringo::Input::GroundTermGrammar"
      | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      | %define api.namespace {Gringo::Input::GroundTermGrammar}
libgringo/src/input/groundtermgrammar.yy:23.1-39: warning: deprecated directive: '%name-prefix "GringoGroundTermGrammar_"', use '%define api.prefix {GringoGroundTermGrammar_}' [-Wdeprecated]
   23 | %name-prefix "GringoGroundTermGrammar_"
      | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      | %define api.prefix {GringoGroundTermGrammar_}
libgringo/src/input/groundtermgrammar.yy:24.1-14: warning: deprecated directive: '%error-verbose', use '%define parse.error verbose' [-Wdeprecated]
   24 | %error-verbose
      | ^~~~~~~~~~~~~~
      | %define parse.error verbose
libgringo/src/input/groundtermgrammar.yy:22.1-52: warning: %define variable 'api.namespace' requires '{...}' values [-Wdeprecated]
   22 | %define namespace "Gringo::Input::GroundTermGrammar"
      | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
libgringo/src/input/groundtermgrammar.yy: warning: fix-its can be applied.  Rerun with option '--update'. [-Wother]
c++ -o build/debug/libgringo/src/input/groundtermgrammar/grammar.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibgringo -Ibuild/debug/libgringo/src -Ilibgringo/src -Ilibprogram_opts -Ilibprogram_opts/src build/debug/libgringo/src/input/groundtermgrammar/grammar.cc
libgringo/src/input/nongroundgrammar.yy:29.1-39: warning: %define variable 'api.location.type' requires '{...}' values [-Wdeprecated]
   29 | %define location_type "DefaultLocation"
      | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
libgringo/src/input/nongroundgrammar.yy:23.1-51: warning: %define variable 'api.namespace' requires '{...}' values [-Wdeprecated]
   23 | %define namespace "Gringo::Input::NonGroundGrammar"
      | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
libgringo/src/input/nongroundgrammar.yy: warning: fix-its can be applied.  Rerun with option '--update'. [-Wother]
c++ -o build/debug/libgringo/src/input/nongroundgrammar/grammar.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibgringo -Ibuild/debug/libgringo/src -Ilibgringo/src -Ilibprogram_opts -Ilibprogram_opts/src build/debug/libgringo/src/input/nongroundgrammar/grammar.cc
c++ -o build/debug/libgringo/src/input/literal.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibgringo -Ibuild/debug/libgringo/src -Ilibgringo/src -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/input/literal.cc
re2c -o build/debug/libgringo/src/input/groundtermlexer.hh libgringo/src/input/groundtermlexer.xh
c++ -o build/debug/libgringo/src/input/aggregates.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibgringo -Ibuild/debug/libgringo/src -Ilibgringo/src -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/input/aggregates.cc
c++ -o build/debug/libgringo/src/input/groundtermparser.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibgringo -Ibuild/debug/libgringo/src -Ilibgringo/src -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/input/groundtermparser.cc
c++ -o build/debug/libgringo/src/input/aggregate.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibgringo -Ibuild/debug/libgringo/src -Ilibgringo/src -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/input/aggregate.cc
c++ -o build/debug/libgringo/src/input/statement.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibgringo -Ibuild/debug/libgringo/src -Ilibgringo/src -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/input/statement.cc
re2c -o build/debug/libgringo/src/input/nongroundlexer.hh libgringo/src/input/nongroundlexer.xh
c++ -o build/debug/libgringo/src/input/program.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibgringo -Ibuild/debug/libgringo/src -Ilibgringo/src -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/input/program.cc
c++ -o build/debug/libprogram_opts/src/application.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibprogram_opts -Ilibprogram_opts/src libprogram_opts/src/application.cpp
c++ -o build/debug/libgringo/src/input/nongroundparser.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibgringo -Ibuild/debug/libgringo/src -Ilibgringo/src -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/input/nongroundparser.cc
c++ -o build/debug/libprogram_opts/src/value_store.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibprogram_opts -Ilibprogram_opts/src libprogram_opts/src/value_store.cpp
In file included from libprogram_opts/program_opts/application.h:31,
                 from libprogram_opts/src/application.cpp:21:
libprogram_opts/program_opts/program_options.h:123:22: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
  void addOption(std::auto_ptr<Option> option);
                      ^~~~~~~~
In file included from /usr/include/c++/8.0/memory:80,
                 from libprogram_opts/program_opts/program_options.h:30,
                 from libprogram_opts/program_opts/application.h:31,
                 from libprogram_opts/src/application.cpp:21:
/usr/include/c++/8.0/bits/unique_ptr.h:53:28: note: declared here
   template<typename> class auto_ptr;
                            ^~~~~~~~
In file included from libprogram_opts/src/application.cpp:22:
libprogram_opts/program_opts/typed_value.h: In member function 'bool ProgramOptions::NotifiedValue<T>::doParse(const string&, const string&)':
libprogram_opts/program_opts/typed_value.h:118:8: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
   std::auto_ptr<T> holder;
        ^~~~~~~~
In file included from /usr/include/c++/8.0/memory:80,
                 from libprogram_opts/program_opts/program_options.h:30,
                 from libprogram_opts/program_opts/application.h:31,
                 from libprogram_opts/src/application.cpp:21:
/usr/include/c++/8.0/bits/unique_ptr.h:53:28: note: declared here
   template<typename> class auto_ptr;
                            ^~~~~~~~
c++ -o build/debug/libprogram_opts/src/string_convert.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibprogram_opts -Ilibprogram_opts/src libprogram_opts/src/string_convert.cpp
c++ -o build/debug/libprogram_opts/src/alarm.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibprogram_opts -Ilibprogram_opts/src libprogram_opts/src/alarm.cpp
c++ -o build/debug/libprogram_opts/src/program_options.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibprogram_opts -Ilibprogram_opts/src libprogram_opts/src/program_options.cpp
c++ -o build/debug/app/clingo/src/clingo_app.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibclingo -Ilibgringo -Ibuild/debug/libgringo/src -Ilibgringo/src -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts -Ilibprogram_opts/src app/clingo/src/clingo_app.cc
c++ -o build/debug/app/clingo/src/main.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibclingo -Ilibgringo -Ibuild/debug/libgringo/src -Ilibgringo/src -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts -Ilibprogram_opts/src app/clingo/src/main.cc
c++ -o build/debug/app/clingo/src/clasp/clasp_app.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibclingo -Ilibgringo -Ibuild/debug/libgringo/src -Ilibgringo/src -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts -Ilibprogram_opts/src app/clingo/src/clasp/clasp_app.cpp
In file included from libprogram_opts/src/program_options.cpp:26:
libprogram_opts/program_opts/program_options.h:123:22: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
  void addOption(std::auto_ptr<Option> option);
                      ^~~~~~~~
In file included from /usr/include/c++/8.0/memory:80,
                 from libprogram_opts/program_opts/program_options.h:30,
                 from libprogram_opts/src/program_options.cpp:26:
/usr/include/c++/8.0/bits/unique_ptr.h:53:28: note: declared here
   template<typename> class auto_ptr;
                            ^~~~~~~~
libprogram_opts/src/program_options.cpp:234:34: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
 void OptionGroup::addOption(std::auto_ptr<Option> option) {
                                  ^~~~~~~~
In file included from /usr/include/c++/8.0/memory:80,
                 from libprogram_opts/program_opts/program_options.h:30,
                 from libprogram_opts/src/program_options.cpp:26:
/usr/include/c++/8.0/bits/unique_ptr.h:53:28: note: declared here
   template<typename> class auto_ptr;
                            ^~~~~~~~
libprogram_opts/src/program_options.cpp: In member function 'ProgramOptions::OptionInitHelper& ProgramOptions::OptionInitHelper::operator()(const char*, ProgramOptions::Value*, const char*)':
libprogram_opts/src/program_options.cpp:266:7: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
  std::auto_ptr<Value> value(val);
       ^~~~~~~~
In file included from /usr/include/c++/8.0/memory:80,
                 from libprogram_opts/program_opts/program_options.h:30,
                 from libprogram_opts/src/program_options.cpp:26:
/usr/include/c++/8.0/bits/unique_ptr.h:53:28: note: declared here
   template<typename> class auto_ptr;
                            ^~~~~~~~
libprogram_opts/src/program_options.cpp:302:20: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
  owner_->addOption(auto_ptr<Option>(new Option(longName, shortName, desc, value.release())));
                    ^~~~~~~~
In file included from /usr/include/c++/8.0/memory:80,
                 from libprogram_opts/program_opts/program_options.h:30,
                 from libprogram_opts/src/program_options.cpp:26:
/usr/include/c++/8.0/bits/unique_ptr.h:53:28: note: declared here
   template<typename> class auto_ptr;
                            ^~~~~~~~
In file included from app/clingo/src/clasp/clasp_app.h:27,
                 from app/clingo/src/clingo_app.hh:25,
                 from app/clingo/src/clingo_app.cc:28:
libprogram_opts/program_opts/typed_value.h: In member function 'bool ProgramOptions::NotifiedValue<T>::doParse(const string&, const string&)':
libprogram_opts/program_opts/typed_value.h:118:8: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
   std::auto_ptr<T> holder;
        ^~~~~~~~
In file included from /usr/include/c++/8.0/memory:80,
                 from libprogram_opts/program_opts/typed_value.h:32,
                 from app/clingo/src/clasp/clasp_app.h:27,
                 from app/clingo/src/clingo_app.hh:25,
                 from app/clingo/src/clingo_app.cc:28:
/usr/include/c++/8.0/bits/unique_ptr.h:53:28: note: declared here
   template<typename> class auto_ptr;
                            ^~~~~~~~
In file included from libprogram_opts/program_opts/application.h:31,
                 from app/clingo/src/clasp/clasp_app.h:28,
                 from app/clingo/src/clingo_app.hh:25,
                 from app/clingo/src/clingo_app.cc:28:
libprogram_opts/program_opts/program_options.h: At global scope:
libprogram_opts/program_opts/program_options.h:123:22: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
  void addOption(std::auto_ptr<Option> option);
                      ^~~~~~~~
In file included from /usr/include/c++/8.0/memory:80,
                 from libprogram_opts/program_opts/typed_value.h:32,
                 from app/clingo/src/clasp/clasp_app.h:27,
                 from app/clingo/src/clingo_app.hh:25,
                 from app/clingo/src/clingo_app.cc:28:
/usr/include/c++/8.0/bits/unique_ptr.h:53:28: note: declared here
   template<typename> class auto_ptr;
                            ^~~~~~~~
In file included from app/clingo/src/clasp/clasp_app.h:27,
                 from app/clingo/src/clingo_app.hh:25,
                 from app/clingo/src/main.cc:21:
libprogram_opts/program_opts/typed_value.h: In member function 'bool ProgramOptions::NotifiedValue<T>::doParse(const string&, const string&)':
libprogram_opts/program_opts/typed_value.h:118:8: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
   std::auto_ptr<T> holder;
        ^~~~~~~~
In file included from /usr/include/c++/8.0/memory:80,
                 from libprogram_opts/program_opts/typed_value.h:32,
                 from app/clingo/src/clasp/clasp_app.h:27,
                 from app/clingo/src/clingo_app.hh:25,
                 from app/clingo/src/main.cc:21:
/usr/include/c++/8.0/bits/unique_ptr.h:53:28: note: declared here
   template<typename> class auto_ptr;
                            ^~~~~~~~
In file included from libprogram_opts/program_opts/application.h:31,
                 from app/clingo/src/clasp/clasp_app.h:28,
                 from app/clingo/src/clingo_app.hh:25,
                 from app/clingo/src/main.cc:21:
libprogram_opts/program_opts/program_options.h: At global scope:
libprogram_opts/program_opts/program_options.h:123:22: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
  void addOption(std::auto_ptr<Option> option);
                      ^~~~~~~~
In file included from /usr/include/c++/8.0/memory:80,
                 from libprogram_opts/program_opts/typed_value.h:32,
                 from app/clingo/src/clasp/clasp_app.h:27,
                 from app/clingo/src/clingo_app.hh:25,
                 from app/clingo/src/main.cc:21:
/usr/include/c++/8.0/bits/unique_ptr.h:53:28: note: declared here
   template<typename> class auto_ptr;
                            ^~~~~~~~
In file included from app/clingo/src/clasp/clasp_app.h:27,
                 from app/clingo/src/clasp/clasp_app.cpp:20:
libprogram_opts/program_opts/typed_value.h: In member function 'bool ProgramOptions::NotifiedValue<T>::doParse(const string&, const string&)':
libprogram_opts/program_opts/typed_value.h:118:8: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
   std::auto_ptr<T> holder;
        ^~~~~~~~
In file included from /usr/include/c++/8.0/memory:80,
                 from libprogram_opts/program_opts/typed_value.h:32,
                 from app/clingo/src/clasp/clasp_app.h:27,
                 from app/clingo/src/clasp/clasp_app.cpp:20:
/usr/include/c++/8.0/bits/unique_ptr.h:53:28: note: declared here
   template<typename> class auto_ptr;
                            ^~~~~~~~
In file included from libprogram_opts/program_opts/application.h:31,
                 from app/clingo/src/clasp/clasp_app.h:28,
                 from app/clingo/src/clasp/clasp_app.cpp:20:
libprogram_opts/program_opts/program_options.h: At global scope:
libprogram_opts/program_opts/program_options.h:123:22: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
  void addOption(std::auto_ptr<Option> option);
                      ^~~~~~~~
In file included from /usr/include/c++/8.0/memory:80,
                 from libprogram_opts/program_opts/typed_value.h:32,
                 from app/clingo/src/clasp/clasp_app.h:27,
                 from app/clingo/src/clasp/clasp_app.cpp:20:
/usr/include/c++/8.0/bits/unique_ptr.h:53:28: note: declared here
   template<typename> class auto_ptr;
                            ^~~~~~~~
c++ -o build/debug/libclingo/src/clingocontrol.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibclingo -Ilibgringo -Ibuild/debug/libgringo/src -Ilibgringo/src libclingo/src/clingocontrol.cc
c++ -o build/debug/libclasp/src/enumerator.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/enumerator.cpp
c++ -o build/debug/libclasp/src/heuristics.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/heuristics.cpp
c++ -o build/debug/libclasp/src/cb_enumerator.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/cb_enumerator.cpp
ar rc build/debug/libprogram_opts.a build/debug/libprogram_opts/src/application.o build/debug/libprogram_opts/src/value_store.o build/debug/libprogram_opts/src/string_convert.o build/debug/libprogram_opts/src/alarm.o build/debug/libprogram_opts/src/program_options.o
ranlib build/debug/libprogram_opts.a
c++ -o build/debug/libclasp/src/solver_strategies.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/solver_strategies.cpp
c++ -o build/debug/libclasp/src/timer.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/timer.cpp
In file included from libprogram_opts/program_opts/application.h:31,
                 from libclingo/clingo/clingocontrol.hh:36,
                 from libclingo/src/clingocontrol.cc:22:
libprogram_opts/program_opts/program_options.h:123:22: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
  void addOption(std::auto_ptr<Option> option);
                      ^~~~~~~~
In file included from /usr/include/c++/8.0/memory:80,
                 from libgringo/gringo/value.hh:26,
                 from libgringo/gringo/term.hh:25,
                 from libgringo/gringo/base.hh:25,
                 from libgringo/gringo/domain.hh:25,
                 from libgringo/gringo/output/literal.hh:24,
                 from libgringo/gringo/output/statement.hh:24,
                 from libgringo/gringo/output/statements.hh:24,
                 from libgringo/gringo/output/output.hh:24,
                 from libclingo/clingo/clingocontrol.hh:25,
                 from libclingo/src/clingocontrol.cc:22:
/usr/include/c++/8.0/bits/unique_ptr.h:53:28: note: declared here
   template<typename> class auto_ptr;
                            ^~~~~~~~
In file included from libclingo/src/clingocontrol.cc:24:
libprogram_opts/program_opts/typed_value.h: In member function 'bool ProgramOptions::NotifiedValue<T>::doParse(const string&, const string&)':
libprogram_opts/program_opts/typed_value.h:118:8: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
   std::auto_ptr<T> holder;
        ^~~~~~~~
In file included from /usr/include/c++/8.0/memory:80,
                 from libgringo/gringo/value.hh:26,
                 from libgringo/gringo/term.hh:25,
                 from libgringo/gringo/base.hh:25,
                 from libgringo/gringo/domain.hh:25,
                 from libgringo/gringo/output/literal.hh:24,
                 from libgringo/gringo/output/statement.hh:24,
                 from libgringo/gringo/output/statements.hh:24,
                 from libgringo/gringo/output/output.hh:24,
                 from libclingo/clingo/clingocontrol.hh:25,
                 from libclingo/src/clingocontrol.cc:22:
/usr/include/c++/8.0/bits/unique_ptr.h:53:28: note: declared here
   template<typename> class auto_ptr;
                            ^~~~~~~~
c++ -o build/debug/libclasp/src/dependency_graph.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/dependency_graph.cpp
c++ -o build/debug/libclasp/src/minimize_constraint.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/minimize_constraint.cpp
c++ -o build/debug/libclasp/src/weight_constraint.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/weight_constraint.cpp
c++ -o build/debug/libclasp/src/program_builder.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/program_builder.cpp
c++ -o build/debug/libclasp/src/solver.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/solver.cpp
c++ -o build/debug/libclasp/src/shared_context.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/shared_context.cpp
c++ -o build/debug/libclasp/src/asp_preprocessor.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/asp_preprocessor.cpp
c++ -o build/debug/libclasp/src/parser.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/parser.cpp
c++ -o build/debug/libclasp/src/clasp_options.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/clasp_options.cpp
ar rc build/debug/libclingo.a build/debug/libclingo/src/clingocontrol.o
c++ -o build/debug/libclasp/src/clasp_facade.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/clasp_facade.cpp
c++ -o build/debug/libclasp/src/logic_program_types.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/logic_program_types.cpp
In file included from libclasp/src/clasp_options.cpp:24:
libprogram_opts/program_opts/program_options.h:123:22: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
  void addOption(std::auto_ptr<Option> option);
                      ^~~~~~~~
In file included from /usr/include/c++/8.0/memory:80,
                 from libclasp/clasp/util/pod_vector.h:24,
                 from libclasp/clasp/pod_vector.h:23,
                 from libclasp/clasp/literal.h:28,
                 from libclasp/clasp/program_builder.h:28,
                 from libclasp/clasp/clasp_facade.h:39,
                 from libclasp/clasp/cli/clasp_options.h:28,
                 from libclasp/src/clasp_options.cpp:20:
/usr/include/c++/8.0/bits/unique_ptr.h:53:28: note: declared here
   template<typename> class auto_ptr;
                            ^~~~~~~~
c++ -o build/debug/libclasp/src/clasp_output.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/clasp_output.cpp
In file included from libclasp/src/clasp_options.cpp:25:
libprogram_opts/program_opts/typed_value.h: In member function 'bool ProgramOptions::NotifiedValue<T>::doParse(const string&, const string&)':
libprogram_opts/program_opts/typed_value.h:118:8: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
   std::auto_ptr<T> holder;
        ^~~~~~~~
In file included from /usr/include/c++/8.0/memory:80,
                 from libclasp/clasp/util/pod_vector.h:24,
                 from libclasp/clasp/pod_vector.h:23,
                 from libclasp/clasp/literal.h:28,
                 from libclasp/clasp/program_builder.h:28,
                 from libclasp/clasp/clasp_facade.h:39,
                 from libclasp/clasp/cli/clasp_options.h:28,
                 from libclasp/src/clasp_options.cpp:20:
/usr/include/c++/8.0/bits/unique_ptr.h:53:28: note: declared here
   template<typename> class auto_ptr;
                            ^~~~~~~~
ranlib build/debug/libclingo.a
c++ -o build/debug/libclasp/src/solver_types.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/solver_types.cpp
c++ -o build/debug/libclasp/src/satelite.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/satelite.cpp
c++ -o build/debug/libclasp/src/solve_algorithms.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/solve_algorithms.cpp
c++ -o build/debug/libclasp/src/constraint.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/constraint.cpp
c++ -o build/debug/libclasp/src/model_enumerators.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/model_enumerators.cpp
c++ -o build/debug/libclasp/src/unfounded_check.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/unfounded_check.cpp
c++ -o build/debug/libclasp/src/clause.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/clause.cpp
ar rc build/debug/libgringo.a build/debug/libgringo/src/term.o build/debug/libgringo/src/lua.o build/debug/libgringo/src/scripts.o build/debug/libgringo/src/terms.o build/debug/libgringo/src/python.o build/debug/libgringo/src/output/literal.o build/debug/libgringo/src/output/aggregates.o build/debug/libgringo/src/output/statements.o build/debug/libgringo/src/output/literals.o build/debug/libgringo/src/output/output.o build/debug/libgringo/src/ground/instantiation.o build/debug/libgringo/src/ground/literals.o build/debug/libgringo/src/ground/program.o build/debug/libgringo/src/ground/statements.o build/debug/libgringo/src/input/programbuilder.o build/debug/libgringo/src/input/nongroundgrammar/grammar.o build/debug/libgringo/src/input/groundtermgrammar/grammar.o build/debug/libgringo/src/input/literals.o build/debug/libgringo/src/input/literal.o build/debug/libgringo/src/input/groundtermparser.o build/debug/libgringo/src/input/aggregates.o build/debug/libgringo/src/input/aggregate.o build/debug/libgringo/src/input/statement.o build/debug/libgringo/src/input/nongroundparser.o build/debug/libgringo/src/input/program.o
c++ -o build/debug/libclasp/src/lookahead.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/lookahead.cpp
c++ -o build/debug/libclasp/src/logic_program.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/logic_program.cpp
c++ -o build/debug/libclasp/src/parallel_solve.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -DWITH_THREADS=0 -I/usr/local/include -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/parallel_solve.cpp
ranlib build/debug/libgringo.a
c++ -o build/debug/app/reify/main.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibreify -Ibuild/debug/libreify/src -Ilibreify/src -Ilibgringo -Ilibprogram_opts -Ilibprogram_opts/src app/reify/main.cc
c++ -o build/debug/libreify/src/program.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibreify -Ibuild/debug/libreify/src -Ilibreify/src -Ilibgringo -Ilibprogram_opts -Ilibprogram_opts/src libreify/src/program.cc
c++ -o build/debug/gringo build/debug/app/gringo/main.o -Lbuild/debug -L/usr/local/lib build/debug/libgringo.a build/debug/libprogram_opts.a
re2c -o build/debug/libreify/src/lexer.hh libreify/src/lexer.xh
In file included from libprogram_opts/program_opts/application.h:31,
                 from app/reify/main.cc:21:
libprogram_opts/program_opts/program_options.h:123:22: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
  void addOption(std::auto_ptr<Option> option);
                      ^~~~~~~~
In file included from /usr/include/c++/8.0/memory:80,
                 from libprogram_opts/program_opts/program_options.h:30,
                 from libprogram_opts/program_opts/application.h:31,
                 from app/reify/main.cc:21:
/usr/include/c++/8.0/bits/unique_ptr.h:53:28: note: declared here
   template<typename> class auto_ptr;
                            ^~~~~~~~
c++ -o build/debug/libreify/src/parser.o -c -pipe -O2 -fno-strict-aliasing -std=c++11 -I/usr/local/include -Ilibreify -Ibuild/debug/libreify/src -Ilibreify/src -Ilibgringo -Ilibprogram_opts -Ilibprogram_opts/src libreify/src/parser.cc
In file included from app/reify/main.cc:22:
libprogram_opts/program_opts/typed_value.h: In member function 'bool ProgramOptions::NotifiedValue<T>::doParse(const string&, const string&)':
libprogram_opts/program_opts/typed_value.h:118:8: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
   std::auto_ptr<T> holder;
        ^~~~~~~~
In file included from /usr/include/c++/8.0/memory:80,
                 from libprogram_opts/program_opts/program_options.h:30,
                 from libprogram_opts/program_opts/application.h:31,
                 from app/reify/main.cc:21:
/usr/include/c++/8.0/bits/unique_ptr.h:53:28: note: declared here
   template<typename> class auto_ptr;
                            ^~~~~~~~
ar rc build/debug/libreify.a build/debug/libreify/src/program.o build/debug/libreify/src/parser.o
ar rc build/debug/libclasp.a build/debug/libclasp/src/enumerator.o build/debug/libclasp/src/heuristics.o build/debug/libclasp/src/cb_enumerator.o build/debug/libclasp/src/solver_strategies.o build/debug/libclasp/src/timer.o build/debug/libclasp/src/dependency_graph.o build/debug/libclasp/src/minimize_constraint.o build/debug/libclasp/src/weight_constraint.o build/debug/libclasp/src/program_builder.o build/debug/libclasp/src/solver.o build/debug/libclasp/src/shared_context.o build/debug/libclasp/src/asp_preprocessor.o build/debug/libclasp/src/parser.o build/debug/libclasp/src/clasp_options.o build/debug/libclasp/src/clasp_facade.o build/debug/libclasp/src/logic_program_types.o build/debug/libclasp/src/clasp_output.o build/debug/libclasp/src/solver_types.o build/debug/libclasp/src/satelite.o build/debug/libclasp/src/solve_algorithms.o build/debug/libclasp/src/constraint.o build/debug/libclasp/src/model_enumerators.o build/debug/libclasp/src/unfounded_check.o build/debug/libclasp/src/clause.o build/debug/libclasp/src/lookahead.o build/debug/libclasp/src/logic_program.o build/debug/libclasp/src/parallel_solve.o
ranlib build/debug/libreify.a
ranlib build/debug/libclasp.a
c++ -o build/debug/reify build/debug/app/reify/main.o -Lbuild/debug -L/usr/local/lib build/debug/libreify.a build/debug/libprogram_opts.a
c++ -o build/debug/clingo build/debug/app/clingo/src/clingo_app.o build/debug/app/clingo/src/main.o build/debug/app/clingo/src/clasp/clasp_app.o -Lbuild/debug -L/usr/local/lib build/debug/libclingo.a build/debug/libgringo.a build/debug/libclasp.a build/debug/libprogram_opts.a
scons: done building targets.

SUCCEEDED 00:01:22

-------------------------------------------------------------------------------
-- Phase: run-depends
-------------------------------------------------------------------------------

===>   gringo-4.5.4_3 depends on file: /usr/local/bin/python2.7 - found

SUCCEEDED 00:00:00

-------------------------------------------------------------------------------
-- Phase: stage
-------------------------------------------------------------------------------

===>  Staging for gringo-4.5.4_3
===>   gringo-4.5.4_3 depends on file: /usr/local/bin/python2.7 - found
===>   Generating temporary packing list
install  -s -m 555 /construction/math/gringo/gringo-4.5.4-source/build/debug/gringo /construction/math/gringo/stage/usr/local/bin/gringo
install  -s -m 555 /construction/math/gringo/gringo-4.5.4-source/build/debug/clingo /construction/math/gringo/stage/usr/local/bin/clingo
====> Compressing man pages (compress-man)
====> Running Q/A tests (stage-qa)
Warning: You have disabled the licenses framework with DISABLE_LICENSES, unable to run checks

SUCCEEDED 00:00:00

-------------------------------------------------------------------------------
-- Phase: package
-------------------------------------------------------------------------------

===>  Building package for gringo-4.5.4_3
file sizes/checksums     [2]:   0%
file sizes/checksums     [2]: 100%
packing files            [2]:   0%
packing files            [2]: 100%
packing directories      [0]:   0%
packing directories      [0]: 100%

SUCCEEDED 00:00:04
TOTAL TIME 00:02:14