configure: WARNING: unrecognized options: --disable-static EADME... 0%100%100%100%100%100%Done Fetching aris.SlackBuild... 0%100%100%100%100%100%Done Fetching aris.info... 0%100%100%100%100%100%Done Fetching help_path.diff... 0%100%100%100%100%100%Done Fetching slack-desc... 0%100%100%100%100%100%Done aris-2.2/ aris-2.2/configure aris-2.2/Makefile.in aris-2.2/AUTHORS aris-2.2/aclocal.m4 aris-2.2/Makefile.am aris-2.2/THANKS aris-2.2/ChangeLog aris-2.2/src/ aris-2.2/src/unv-conn.xpm aris-2.2/src/config.h.in aris-2.2/src/rules.h aris-2.2/src/elm-conn.xpm aris-2.2/src/vec.h aris-2.2/src/tau-conn.xpm aris-2.2/src/sexpr-process-equiv.c aris-2.2/src/conf-file.h aris-2.2/src/list.h aris-2.2/src/process.h aris-2.2/src/pound.h aris-2.2/src/typedef.h aris-2.2/src/ctr-conn.xpm aris-2.2/src/app.h aris-2.2/src/goal.c aris-2.2/src/rules-table.c aris-2.2/src/aio.c aris-2.2/src/not-conn.xpm aris-2.2/src/sentence.c aris-2.2/src/sen-data.h aris-2.2/src/sexpr-process-infer.c aris-2.2/src/icon.xpm aris-2.2/src/rules-table.h aris-2.2/src/menu.c aris-2.2/src/Makefile.in aris-2.2/src/menu.h aris-2.2/src/proof.h aris-2.2/src/undo.c aris-2.2/src/sexpr-process-bool.c aris-2.2/src/aris-proof.c aris-2.2/src/aris.c aris-2.2/src/var.c aris-2.2/src/Makefile.am aris-2.2/src/aio.h aris-2.2/src/sen-parent.h aris-2.2/src/con-conn.xpm aris-2.2/src/callbacks.h aris-2.2/src/callbacks.c aris-2.2/src/goal.h aris-2.2/src/conf-file.c aris-2.2/src/sexpr-process-quant.c aris-2.2/src/process.c aris-2.2/src/list.c aris-2.2/src/or-conn.xpm aris-2.2/src/nil-conn.xpm aris-2.2/src/sexpr-process.h aris-2.2/src/bic-conn.xpm aris-2.2/src/process-main.c aris-2.2/src/sexpr-process-misc.c aris-2.2/src/undo.h aris-2.2/src/and-conn.xpm aris-2.2/src/sen-data.c aris-2.2/src/proof.c aris-2.2/src/exl-conn.xpm aris-2.2/src/aris-proof.h aris-2.2/src/app.c aris-2.2/src/interop-isar.h aris-2.2/src/var.h aris-2.2/src/sexpr-process.c aris-2.2/src/vec.c aris-2.2/src/sentence.h aris-2.2/src/interop-isar.c aris-2.2/src/sen-parent.c aris-2.2/configure.ac aris-2.2/COPYING aris-2.2/INSTALL aris-2.2/README aris-2.2/build-aux/ aris-2.2/build-aux/depcomp aris-2.2/build-aux/config.guess aris-2.2/build-aux/compile aris-2.2/build-aux/install-sh aris-2.2/build-aux/config.sub aris-2.2/build-aux/missing aris-2.2/doc/ aris-2.2/doc/aris/ aris-2.2/doc/aris/Customization.html aris-2.2/doc/aris/Config-File.html aris-2.2/doc/aris/hs.html aris-2.2/doc/aris/Rules-Index.html aris-2.2/doc/aris/Menu-Options.html aris-2.2/doc/aris/Options.html aris-2.2/doc/aris/ii.html aris-2.2/doc/aris/ad.html aris-2.2/doc/aris/ds.html aris-2.2/doc/aris/Miscellaneous-Rules.html aris-2.2/doc/aris/datatype.html aris-2.2/doc/aris/ug.html aris-2.2/doc/aris/as.html aris-2.2/doc/aris/ep.html aris-2.2/doc/aris/eq.html aris-2.2/doc/aris/sm.html aris-2.2/doc/aris/Keyboard-Shortcuts.html aris-2.2/doc/aris/ex.html aris-2.2/doc/aris/dt.html aris-2.2/doc/aris/nq.html aris-2.2/doc/aris/case.html aris-2.2/doc/aris/im.html aris-2.2/doc/aris/Dialog.html aris-2.2/doc/aris/Interoperability.html aris-2.2/doc/aris/fv.html aris-2.2/doc/aris/mp.html aris-2.2/doc/aris/fun.html aris-2.2/doc/aris/ei.html aris-2.2/doc/aris/Selecting.html aris-2.2/doc/aris/Adding.html aris-2.2/doc/aris/bv.html aris-2.2/doc/aris/instance.html aris-2.2/doc/aris/Submission.html aris-2.2/doc/aris/bd.html aris-2.2/doc/aris/dn.html aris-2.2/doc/aris/sb.html aris-2.2/doc/aris/sn.html aris-2.2/doc/aris/Recursion.html aris-2.2/doc/aris/Isabelle_002fIsar.html aris-2.2/doc/aris/Equivalence-Rules.html aris-2.2/doc/aris/Inference-Rules.html aris-2.2/doc/aris/primrec.html aris-2.2/doc/aris/Introduction.html aris-2.2/doc/aris/Basic-Usage.html aris-2.2/doc/aris/type_005fsynonym.html aris-2.2/doc/aris/Connectives.html aris-2.2/doc/aris/Sequence-Logic.html aris-2.2/doc/aris/cn.html aris-2.2/doc/aris/bn.html aris-2.2/doc/aris/ui.html aris-2.2/doc/aris/Syntax.html aris-2.2/doc/aris/in.html aris-2.2/doc/aris/cd.html aris-2.2/doc/aris/bi.html aris-2.2/doc/aris/lemma_002ftheorem.html aris-2.2/doc/aris/eg.html aris-2.2/doc/aris/Induction.html aris-2.2/doc/aris/Rules-Table.html aris-2.2/doc/aris/class.html aris-2.2/doc/aris/index.html aris-2.2/doc/aris/co.html aris-2.2/doc/aris/lm.html aris-2.2/doc/aris/Other-Key-Shortcuts.html aris-2.2/doc/aris/sq.html aris-2.2/doc/aris/Proof-Windows.html aris-2.2/doc/aris/other.html aris-2.2/doc/aris/Boolean-Rules.html aris-2.2/doc/aris/Startup.html aris-2.2/doc/aris/sp.html aris-2.2/doc/aris/id.html aris-2.2/doc/aris/definition.html aris-2.2/doc/aris/Axioms.html aris-2.2/doc/aris/Predicate-Rules.html aris-2.2/doc/aris/pr.html aris-2.2/doc/aris/dm.html aris-2.2/doc/aris/Terms.html aris-2.2/doc/aris.info aris-2.2/doc/aris.texi aris-2.2/doc/proofs/ aris-2.2/doc/proofs/miscellaneous/ aris-2.2/doc/proofs/miscellaneous/pf-sp.tle aris-2.2/doc/proofs/equivalence/ aris-2.2/doc/proofs/equivalence/pf-id.tle aris-2.2/doc/proofs/equivalence/pf-dm.tle aris-2.2/doc/proofs/equivalence/pf-co.tle aris-2.2/doc/proofs/equivalence/pf-eq.tle aris-2.2/doc/proofs/equivalence/pf-sb.tle aris-2.2/doc/proofs/equivalence/pf-dt.tle aris-2.2/doc/proofs/equivalence/pf-as.tle aris-2.2/doc/proofs/equivalence/pf-ep.tle aris-2.2/doc/proofs/equivalence/pf-im.tle aris-2.2/doc/proofs/equivalence/pf-dn.tle aris-2.2/doc/proofs/inference/ aris-2.2/doc/proofs/inference/pf-ad.tle aris-2.2/doc/proofs/inference/pf-cd.tle aris-2.2/doc/proofs/inference/pf-ex.tle aris-2.2/doc/proofs/inference/pf-sm.tle aris-2.2/doc/proofs/inference/pf-hs.tle aris-2.2/doc/proofs/inference/pf-mp.tle aris-2.2/doc/proofs/inference/pf-cn.tle aris-2.2/doc/proofs/inference/pf-ds.tle aris-2.2/doc/proofs/quantifier/ aris-2.2/doc/proofs/quantifier/pf-pr.tle aris-2.2/doc/proofs/quantifier/pf-ii.tle aris-2.2/doc/proofs/quantifier/pf-nq.tle aris-2.2/doc/proofs/quantifier/pf-fv.tle aris-2.2/doc/proofs/quantifier/pf-eg.tle aris-2.2/doc/proofs/quantifier/pf-ei.tle aris-2.2/doc/proofs/quantifier/pf-ui.tle aris-2.2/doc/proofs/quantifier/pf-ug.tle aris-2.2/doc/proofs/quantifier/pf-bv.tle aris-2.2/doc/proofs/boolean/ aris-2.2/doc/proofs/boolean/pf-bn.tle aris-2.2/doc/proofs/boolean/pf-bd.tle aris-2.2/doc/proofs/boolean/pf-sn.tle aris-2.2/doc/proofs/boolean/pf-bi.tle aris-2.2/NEWS aris-2.2/TODO checking for a BSD-compatible install... /usr/bin/ginstall -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... /usr/bin/mkdir -p checking for gawk... gawk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking build system type... x86_64-slackware-linux-gnu checking host system type... x86_64-slackware-linux-gnu checking for style of include used by make... GNU checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking whether gcc understands -c and -o together... yes checking dependency style of gcc... gcc3 checking for gcc option to accept ISO C99... none needed checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /usr/bin/grep checking for egrep... /usr/bin/grep -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking minix/config.h usability... no checking minix/config.h presence... no checking for minix/config.h... no checking whether it is safe to define __EXTENSIONS__... yes checking for pkg-config... /usr/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking for GTK... yes checking for XML... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating src/Makefile config.status: creating src/config.h config.status: executing depfiles commands patching file src/aris.c ognized options: --disable-static Making all in src make[1]: Entering directory '/usr/src/slapt-src/academic/aris/aris-2.2/src' make all-am make[2]: Entering directory '/usr/src/slapt-src/academic/aris/aris-2.2/src' gcc -DHAVE_CONFIG_H -I. -O2 -fPIC -w -Wl,--allow-multiple-definition -pthread -I/usr/include/gtk-3.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib64/dbus-1.0/include -I/usr/include/gtk-3.0 -I/usr/include/gio-unix-2.0 -I/usr/include/cairo -I/usr/include/pango-1.0 -I/usr/include/harfbuzz -I/usr/include/pango-1.0 -I/usr/include/fribidi -I/usr/include/atk-1.0 -I/usr/include/cairo -I/usr/include/pixman-1 -I/usr/include/libxml2 -I/usr/include/freetype2 -I/usr/include/harfbuzz -I/usr/include/libpng16 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libpng16 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/include/libxml2 -DARIS_GUI -O2 -fPIC -w -Wl,--allow-multiple-definition -MT aio.o -MD -MP -MF .deps/aio.Tpo -c -o aio.o aio.c mv -f .deps/aio.Tpo .deps/aio.Po gcc -DHAVE_CONFIG_H -I. -O2 -fPIC -w -Wl,--allow-multiple-definition -pthread -I/usr/include/gtk-3.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib64/dbus-1.0/include -I/usr/include/gtk-3.0 -I/usr/include/gio-unix-2.0 -I/usr/include/cairo -I/usr/include/pango-1.0 -I/usr/include/harfbuzz -I/usr/include/pango-1.0 -I/usr/include/fribidi -I/usr/include/atk-1.0 -I/usr/include/cairo -I/usr/include/pixman-1 -I/usr/include/libxml2 -I/usr/include/freetype2 -I/usr/include/harfbuzz -I/usr/include/libpng16 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libpng16 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/include/libxml2 -DARIS_GUI -O2 -fPIC -w -Wl,--allow-multiple-definition -MT app.o -MD -MP -MF .deps/app.Tpo -c -o app.o app.c mv -f .deps/app.Tpo .deps/app.Po gcc -DHAVE_CONFIG_H -I. -O2 -fPIC -w -Wl,--allow-multiple-definition -pthread -I/usr/include/gtk-3.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib64/dbus-1.0/include -I/usr/include/gtk-3.0 -I/usr/include/gio-unix-2.0 -I/usr/include/cairo -I/usr/include/pango-1.0 -I/usr/include/harfbuzz -I/usr/include/pango-1.0 -I/usr/include/fribidi -I/usr/include/atk-1.0 -I/usr/include/cairo -I/usr/include/pixman-1 -I/usr/include/libxml2 -I/usr/include/freetype2 -I/usr/include/harfbuzz -I/usr/include/libpng16 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libpng16 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/include/libxml2 -DARIS_GUI -O2 -fPIC -w -Wl,--allow-multiple-definition -MT aris-proof.o -MD -MP -MF .deps/aris-proof.Tpo -c -o aris-proof.o aris-proof.c mv -f .deps/aris-proof.Tpo .deps/aris-proof.Po gcc -DHAVE_CONFIG_H -I. -O2 -fPIC -w -Wl,--allow-multiple-definition -pthread -I/usr/include/gtk-3.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib64/dbus-1.0/include -I/usr/include/gtk-3.0 -I/usr/include/gio-unix-2.0 -I/usr/include/cairo -I/usr/include/pango-1.0 -I/usr/include/harfbuzz -I/usr/include/pango-1.0 -I/usr/include/fribidi -I/usr/include/atk-1.0 -I/usr/include/cairo -I/usr/include/pixman-1 -I/usr/include/libxml2 -I/usr/include/freetype2 -I/usr/include/harfbuzz -I/usr/include/libpng16 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libpng16 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/include/libxml2 -DARIS_GUI -O2 -fPIC -w -Wl,--allow-multiple-definition -MT callbacks.o -MD -MP -MF .deps/callbacks.Tpo -c -o callbacks.o callbacks.c mv -f .deps/callbacks.Tpo .deps/callbacks.Po gcc -DHAVE_CONFIG_H -I. -O2 -fPIC -w -Wl,--allow-multiple-definition -pthread -I/usr/include/gtk-3.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib64/dbus-1.0/include -I/usr/include/gtk-3.0 -I/usr/include/gio-unix-2.0 -I/usr/include/cairo -I/usr/include/pango-1.0 -I/usr/include/harfbuzz -I/usr/include/pango-1.0 -I/usr/include/fribidi -I/usr/include/atk-1.0 -I/usr/include/cairo -I/usr/include/pixman-1 -I/usr/include/libxml2 -I/usr/include/freetype2 -I/usr/include/harfbuzz -I/usr/include/libpng16 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libpng16 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/include/libxml2 -DARIS_GUI -O2 -fPIC -w -Wl,--allow-multiple-definition -MT conf-file.o -MD -MP -MF .deps/conf-file.Tpo -c -o conf-file.o conf-file.c mv -f .deps/conf-file.Tpo .deps/conf-file.Po gcc -DHAVE_CONFIG_H -I. -O2 -fPIC -w -Wl,--allow-multiple-definition -pthread -I/usr/include/gtk-3.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib64/dbus-1.0/include -I/usr/include/gtk-3.0 -I/usr/include/gio-unix-2.0 -I/usr/include/cairo -I/usr/include/pango-1.0 -I/usr/include/harfbuzz -I/usr/include/pango-1.0 -I/usr/include/fribidi -I/usr/include/atk-1.0 -I/usr/include/cairo -I/usr/include/pixman-1 -I/usr/include/libxml2 -I/usr/include/freetype2 -I/usr/include/harfbuzz -I/usr/include/libpng16 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libpng16 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/include/libxml2 -DARIS_GUI -O2 -fPIC -w -Wl,--allow-multiple-definition -MT goal.o -MD -MP -MF .deps/goal.Tpo -c -o goal.o goal.c mv -f .deps/goal.Tpo .deps/goal.Po gcc -DHAVE_CONFIG_H -I. -O2 -fPIC -w -Wl,--allow-multiple-definition -pthread -I/usr/include/gtk-3.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib64/dbus-1.0/include -I/usr/include/gtk-3.0 -I/usr/include/gio-unix-2.0 -I/usr/include/cairo -I/usr/include/pango-1.0 -I/usr/include/harfbuzz -I/usr/include/pango-1.0 -I/usr/include/fribidi -I/usr/include/atk-1.0 -I/usr/include/cairo -I/usr/include/pixman-1 -I/usr/include/libxml2 -I/usr/include/freetype2 -I/usr/include/harfbuzz -I/usr/include/libpng16 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libpng16 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/include/libxml2 -DARIS_GUI -O2 -fPIC -w -Wl,--allow-multiple-definition -MT interop-isar.o -MD -MP -MF .deps/interop-isar.Tpo -c -o interop-isar.o interop-isar.c mv -f .deps/interop-isar.Tpo .deps/interop-isar.Po gcc -DHAVE_CONFIG_H -I. -O2 -fPIC -w -Wl,--allow-multiple-definition -pthread -I/usr/include/gtk-3.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib64/dbus-1.0/include -I/usr/include/gtk-3.0 -I/usr/include/gio-unix-2.0 -I/usr/include/cairo -I/usr/include/pango-1.0 -I/usr/include/harfbuzz -I/usr/include/pango-1.0 -I/usr/include/fribidi -I/usr/include/atk-1.0 -I/usr/include/cairo -I/usr/include/pixman-1 -I/usr/include/libxml2 -I/usr/include/freetype2 -I/usr/include/harfbuzz -I/usr/include/libpng16 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libpng16 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/include/libxml2 -DARIS_GUI -O2 -fPIC -w -Wl,--allow-multiple-definition -MT list.o -MD -MP -MF .deps/list.Tpo -c -o list.o list.c mv -f .deps/list.Tpo .deps/list.Po gcc -DHAVE_CONFIG_H -I. -O2 -fPIC -w -Wl,--allow-multiple-definition -pthread -I/usr/include/gtk-3.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib64/dbus-1.0/include -I/usr/include/gtk-3.0 -I/usr/include/gio-unix-2.0 -I/usr/include/cairo -I/usr/include/pango-1.0 -I/usr/include/harfbuzz -I/usr/include/pango-1.0 -I/usr/include/fribidi -I/usr/include/atk-1.0 -I/usr/include/cairo -I/usr/include/pixman-1 -I/usr/include/libxml2 -I/usr/include/freetype2 -I/usr/include/harfbuzz -I/usr/include/libpng16 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libpng16 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/include/libxml2 -DARIS_GUI -O2 -fPIC -w -Wl,--allow-multiple-definition -MT menu.o -MD -MP -MF .deps/menu.Tpo -c -o menu.o menu.c mv -f .deps/menu.Tpo .deps/menu.Po gcc -DHAVE_CONFIG_H -I. -O2 -fPIC -w -Wl,--allow-multiple-definition -pthread -I/usr/include/gtk-3.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib64/dbus-1.0/include -I/usr/include/gtk-3.0 -I/usr/include/gio-unix-2.0 -I/usr/include/cairo -I/usr/include/pango-1.0 -I/usr/include/harfbuzz -I/usr/include/pango-1.0 -I/usr/include/fribidi -I/usr/include/atk-1.0 -I/usr/include/cairo -I/usr/include/pixman-1 -I/usr/include/libxml2 -I/usr/include/freetype2 -I/usr/include/harfbuzz -I/usr/include/libpng16 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libpng16 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/include/libxml2 -DARIS_GUI -O2 -fPIC -w -Wl,--allow-multiple-definition -MT process.o -MD -MP -MF .deps/process.Tpo -c -o process.o process.c mv -f .deps/process.Tpo .deps/process.Po gcc -DHAVE_CONFIG_H -I. -O2 -fPIC -w -Wl,--allow-multiple-definition -pthread -I/usr/include/gtk-3.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib64/dbus-1.0/include -I/usr/include/gtk-3.0 -I/usr/include/gio-unix-2.0 -I/usr/include/cairo -I/usr/include/pango-1.0 -I/usr/include/harfbuzz -I/usr/include/pango-1.0 -I/usr/include/fribidi -I/usr/include/atk-1.0 -I/usr/include/cairo -I/usr/include/pixman-1 -I/usr/include/libxml2 -I/usr/include/freetype2 -I/usr/include/harfbuzz -I/usr/include/libpng16 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libpng16 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/include/libxml2 -DARIS_GUI -O2 -fPIC -w -Wl,--allow-multiple-definition -MT process-main.o -MD -MP -MF .deps/process-main.Tpo -c -o process-main.o process-main.c mv -f .deps/process-main.Tpo .deps/process-main.Po gcc -DHAVE_CONFIG_H -I. -O2 -fPIC -w -Wl,--allow-multiple-definition -pthread -I/usr/include/gtk-3.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib64/dbus-1.0/include -I/usr/include/gtk-3.0 -I/usr/include/gio-unix-2.0 -I/usr/include/cairo -I/usr/include/pango-1.0 -I/usr/include/harfbuzz -I/usr/include/pango-1.0 -I/usr/include/fribidi -I/usr/include/atk-1.0 -I/usr/include/cairo -I/usr/include/pixman-1 -I/usr/include/libxml2 -I/usr/include/freetype2 -I/usr/include/harfbuzz -I/usr/include/libpng16 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libpng16 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/include/libxml2 -DARIS_GUI -O2 -fPIC -w -Wl,--allow-multiple-definition -MT proof.o -MD -MP -MF .deps/proof.Tpo -c -o proof.o proof.c mv -f .deps/proof.Tpo .deps/proof.Po gcc -DHAVE_CONFIG_H -I. -O2 -fPIC -w -Wl,--allow-multiple-definition -pthread -I/usr/include/gtk-3.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib64/dbus-1.0/include -I/usr/include/gtk-3.0 -I/usr/include/gio-unix-2.0 -I/usr/include/cairo -I/usr/include/pango-1.0 -I/usr/include/harfbuzz -I/usr/include/pango-1.0 -I/usr/include/fribidi -I/usr/include/atk-1.0 -I/usr/include/cairo -I/usr/include/pixman-1 -I/usr/include/libxml2 -I/usr/include/freetype2 -I/usr/include/harfbuzz -I/usr/include/libpng16 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libpng16 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/include/libxml2 -DARIS_GUI -O2 -fPIC -w -Wl,--allow-multiple-definition -MT rules-table.o -MD -MP -MF .deps/rules-table.Tpo -c -o rules-table.o rules-table.c mv -f .deps/rules-table.Tpo .deps/rules-table.Po gcc -DHAVE_CONFIG_H -I. -O2 -fPIC -w -Wl,--allow-multiple-definition -pthread -I/usr/include/gtk-3.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib64/dbus-1.0/include -I/usr/include/gtk-3.0 -I/usr/include/gio-unix-2.0 -I/usr/include/cairo -I/usr/include/pango-1.0 -I/usr/include/harfbuzz -I/usr/include/pango-1.0 -I/usr/include/fribidi -I/usr/include/atk-1.0 -I/usr/include/cairo -I/usr/include/pixman-1 -I/usr/include/libxml2 -I/usr/include/freetype2 -I/usr/include/harfbuzz -I/usr/include/libpng16 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libpng16 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/include/libxml2 -DARIS_GUI -O2 -fPIC -w -Wl,--allow-multiple-definition -MT sen-data.o -MD -MP -MF .deps/sen-data.Tpo -c -o sen-data.o sen-data.c mv -f .deps/sen-data.Tpo .deps/sen-data.Po gcc -DHAVE_CONFIG_H -I. -O2 -fPIC -w -Wl,--allow-multiple-definition -pthread -I/usr/include/gtk-3.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib64/dbus-1.0/include -I/usr/include/gtk-3.0 -I/usr/include/gio-unix-2.0 -I/usr/include/cairo -I/usr/include/pango-1.0 -I/usr/include/harfbuzz -I/usr/include/pango-1.0 -I/usr/include/fribidi -I/usr/include/atk-1.0 -I/usr/include/cairo -I/usr/include/pixman-1 -I/usr/include/libxml2 -I/usr/include/freetype2 -I/usr/include/harfbuzz -I/usr/include/libpng16 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libpng16 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/include/libxml2 -DARIS_GUI -O2 -fPIC -w -Wl,--allow-multiple-definition -MT sen-parent.o -MD -MP -MF .deps/sen-parent.Tpo -c -o sen-parent.o sen-parent.c mv -f .deps/sen-parent.Tpo .deps/sen-parent.Po gcc -DHAVE_CONFIG_H -I. -O2 -fPIC -w -Wl,--allow-multiple-definition -pthread -I/usr/include/gtk-3.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib64/dbus-1.0/include -I/usr/include/gtk-3.0 -I/usr/include/gio-unix-2.0 -I/usr/include/cairo -I/usr/include/pango-1.0 -I/usr/include/harfbuzz -I/usr/include/pango-1.0 -I/usr/include/fribidi -I/usr/include/atk-1.0 -I/usr/include/cairo -I/usr/include/pixman-1 -I/usr/include/libxml2 -I/usr/include/freetype2 -I/usr/include/harfbuzz -I/usr/include/libpng16 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libpng16 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/include/libxml2 -DARIS_GUI -O2 -fPIC -w -Wl,--allow-multiple-definition -MT sentence.o -MD -MP -MF .deps/sentence.Tpo -c -o sentence.o sentence.c mv -f .deps/sentence.Tpo .deps/sentence.Po gcc -DHAVE_CONFIG_H -I. -O2 -fPIC -w -Wl,--allow-multiple-definition -pthread -I/usr/include/gtk-3.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib64/dbus-1.0/include -I/usr/include/gtk-3.0 -I/usr/include/gio-unix-2.0 -I/usr/include/cairo -I/usr/include/pango-1.0 -I/usr/include/harfbuzz -I/usr/include/pango-1.0 -I/usr/include/fribidi -I/usr/include/atk-1.0 -I/usr/include/cairo -I/usr/include/pixman-1 -I/usr/include/libxml2 -I/usr/include/freetype2 -I/usr/include/harfbuzz -I/usr/include/libpng16 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libpng16 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/include/libxml2 -DARIS_GUI -O2 -fPIC -w -Wl,--allow-multiple-definition -MT sexpr-process.o -MD -MP -MF .deps/sexpr-process.Tpo -c -o sexpr-process.o sexpr-process.c mv -f .deps/sexpr-process.Tpo .deps/sexpr-process.Po gcc -DHAVE_CONFIG_H -I. -O2 -fPIC -w -Wl,--allow-multiple-definition -pthread -I/usr/include/gtk-3.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib64/dbus-1.0/include -I/usr/include/gtk-3.0 -I/usr/include/gio-unix-2.0 -I/usr/include/cairo -I/usr/include/pango-1.0 -I/usr/include/harfbuzz -I/usr/include/pango-1.0 -I/usr/include/fribidi -I/usr/include/atk-1.0 -I/usr/include/cairo -I/usr/include/pixman-1 -I/usr/include/libxml2 -I/usr/include/freetype2 -I/usr/include/harfbuzz -I/usr/include/libpng16 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libpng16 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/include/libxml2 -DARIS_GUI -O2 -fPIC -w -Wl,--allow-multiple-definition -MT sexpr-process-bool.o -MD -MP -MF .deps/sexpr-process-bool.Tpo -c -o sexpr-process-bool.o sexpr-process-bool.c mv -f .deps/sexpr-process-bool.Tpo .deps/sexpr-process-bool.Po gcc -DHAVE_CONFIG_H -I. -O2 -fPIC -w -Wl,--allow-multiple-definition -pthread -I/usr/include/gtk-3.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib64/dbus-1.0/include -I/usr/include/gtk-3.0 -I/usr/include/gio-unix-2.0 -I/usr/include/cairo -I/usr/include/pango-1.0 -I/usr/include/harfbuzz -I/usr/include/pango-1.0 -I/usr/include/fribidi -I/usr/include/atk-1.0 -I/usr/include/cairo -I/usr/include/pixman-1 -I/usr/include/libxml2 -I/usr/include/freetype2 -I/usr/include/harfbuzz -I/usr/include/libpng16 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libpng16 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/include/libxml2 -DARIS_GUI -O2 -fPIC -w -Wl,--allow-multiple-definition -MT sexpr-process-equiv.o -MD -MP -MF .deps/sexpr-process-equiv.Tpo -c -o sexpr-process-equiv.o sexpr-process-equiv.c mv -f .deps/sexpr-process-equiv.Tpo .deps/sexpr-process-equiv.Po gcc -DHAVE_CONFIG_H -I. -O2 -fPIC -w -Wl,--allow-multiple-definition -pthread -I/usr/include/gtk-3.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib64/dbus-1.0/include -I/usr/include/gtk-3.0 -I/usr/include/gio-unix-2.0 -I/usr/include/cairo -I/usr/include/pango-1.0 -I/usr/include/harfbuzz -I/usr/include/pango-1.0 -I/usr/include/fribidi -I/usr/include/atk-1.0 -I/usr/include/cairo -I/usr/include/pixman-1 -I/usr/include/libxml2 -I/usr/include/freetype2 -I/usr/include/harfbuzz -I/usr/include/libpng16 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libpng16 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/include/libxml2 -DARIS_GUI -O2 -fPIC -w -Wl,--allow-multiple-definition -MT sexpr-process-infer.o -MD -MP -MF .deps/sexpr-process-infer.Tpo -c -o sexpr-process-infer.o sexpr-process-infer.c mv -f .deps/sexpr-process-infer.Tpo .deps/sexpr-process-infer.Po gcc -DHAVE_CONFIG_H -I. -O2 -fPIC -w -Wl,--allow-multiple-definition -pthread -I/usr/include/gtk-3.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib64/dbus-1.0/include -I/usr/include/gtk-3.0 -I/usr/include/gio-unix-2.0 -I/usr/include/cairo -I/usr/include/pango-1.0 -I/usr/include/harfbuzz -I/usr/include/pango-1.0 -I/usr/include/fribidi -I/usr/include/atk-1.0 -I/usr/include/cairo -I/usr/include/pixman-1 -I/usr/include/libxml2 -I/usr/include/freetype2 -I/usr/include/harfbuzz -I/usr/include/libpng16 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libpng16 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/include/libxml2 -DARIS_GUI -O2 -fPIC -w -Wl,--allow-multiple-definition -MT sexpr-process-misc.o -MD -MP -MF .deps/sexpr-process-misc.Tpo -c -o sexpr-process-misc.o sexpr-process-misc.c mv -f .deps/sexpr-process-misc.Tpo .deps/sexpr-process-misc.Po gcc -DHAVE_CONFIG_H -I. -O2 -fPIC -w -Wl,--allow-multiple-definition -pthread -I/usr/include/gtk-3.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib64/dbus-1.0/include -I/usr/include/gtk-3.0 -I/usr/include/gio-unix-2.0 -I/usr/include/cairo -I/usr/include/pango-1.0 -I/usr/include/harfbuzz -I/usr/include/pango-1.0 -I/usr/include/fribidi -I/usr/include/atk-1.0 -I/usr/include/cairo -I/usr/include/pixman-1 -I/usr/include/libxml2 -I/usr/include/freetype2 -I/usr/include/harfbuzz -I/usr/include/libpng16 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libpng16 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/include/libxml2 -DARIS_GUI -O2 -fPIC -w -Wl,--allow-multiple-definition -MT sexpr-process-quant.o -MD -MP -MF .deps/sexpr-process-quant.Tpo -c -o sexpr-process-quant.o sexpr-process-quant.c mv -f .deps/sexpr-process-quant.Tpo .deps/sexpr-process-quant.Po gcc -DHAVE_CONFIG_H -I. -O2 -fPIC -w -Wl,--allow-multiple-definition -pthread -I/usr/include/gtk-3.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib64/dbus-1.0/include -I/usr/include/gtk-3.0 -I/usr/include/gio-unix-2.0 -I/usr/include/cairo -I/usr/include/pango-1.0 -I/usr/include/harfbuzz -I/usr/include/pango-1.0 -I/usr/include/fribidi -I/usr/include/atk-1.0 -I/usr/include/cairo -I/usr/include/pixman-1 -I/usr/include/libxml2 -I/usr/include/freetype2 -I/usr/include/harfbuzz -I/usr/include/libpng16 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libpng16 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/include/libxml2 -DARIS_GUI -O2 -fPIC -w -Wl,--allow-multiple-definition -MT undo.o -MD -MP -MF .deps/undo.Tpo -c -o undo.o undo.c mv -f .deps/undo.Tpo .deps/undo.Po gcc -DHAVE_CONFIG_H -I. -O2 -fPIC -w -Wl,--allow-multiple-definition -pthread -I/usr/include/gtk-3.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib64/dbus-1.0/include -I/usr/include/gtk-3.0 -I/usr/include/gio-unix-2.0 -I/usr/include/cairo -I/usr/include/pango-1.0 -I/usr/include/harfbuzz -I/usr/include/pango-1.0 -I/usr/include/fribidi -I/usr/include/atk-1.0 -I/usr/include/cairo -I/usr/include/pixman-1 -I/usr/include/libxml2 -I/usr/include/freetype2 -I/usr/include/harfbuzz -I/usr/include/libpng16 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libpng16 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/include/libxml2 -DARIS_GUI -O2 -fPIC -w -Wl,--allow-multiple-definition -MT var.o -MD -MP -MF .deps/var.Tpo -c -o var.o var.c mv -f .deps/var.Tpo .deps/var.Po gcc -DHAVE_CONFIG_H -I. -O2 -fPIC -w -Wl,--allow-multiple-definition -pthread -I/usr/include/gtk-3.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib64/dbus-1.0/include -I/usr/include/gtk-3.0 -I/usr/include/gio-unix-2.0 -I/usr/include/cairo -I/usr/include/pango-1.0 -I/usr/include/harfbuzz -I/usr/include/pango-1.0 -I/usr/include/fribidi -I/usr/include/atk-1.0 -I/usr/include/cairo -I/usr/include/pixman-1 -I/usr/include/libxml2 -I/usr/include/freetype2 -I/usr/include/harfbuzz -I/usr/include/libpng16 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libpng16 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/include/libxml2 -DARIS_GUI -O2 -fPIC -w -Wl,--allow-multiple-definition -MT vec.o -MD -MP -MF .deps/vec.Tpo -c -o vec.o vec.c mv -f .deps/vec.Tpo .deps/vec.Po gcc -DHAVE_CONFIG_H -I. -O2 -fPIC -w -Wl,--allow-multiple-definition -pthread -I/usr/include/gtk-3.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib64/dbus-1.0/include -I/usr/include/gtk-3.0 -I/usr/include/gio-unix-2.0 -I/usr/include/cairo -I/usr/include/pango-1.0 -I/usr/include/harfbuzz -I/usr/include/pango-1.0 -I/usr/include/fribidi -I/usr/include/atk-1.0 -I/usr/include/cairo -I/usr/include/pixman-1 -I/usr/include/libxml2 -I/usr/include/freetype2 -I/usr/include/harfbuzz -I/usr/include/libpng16 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libpng16 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/include/libxml2 -DARIS_GUI -O2 -fPIC -w -Wl,--allow-multiple-definition -MT aris.o -MD -MP -MF .deps/aris.Tpo -c -o aris.o aris.c mv -f .deps/aris.Tpo .deps/aris.Po gcc -O2 -fPIC -w -Wl,--allow-multiple-definition -pthread -I/usr/include/gtk-3.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib64/dbus-1.0/include -I/usr/include/gtk-3.0 -I/usr/include/gio-unix-2.0 -I/usr/include/cairo -I/usr/include/pango-1.0 -I/usr/include/harfbuzz -I/usr/include/pango-1.0 -I/usr/include/fribidi -I/usr/include/atk-1.0 -I/usr/include/cairo -I/usr/include/pixman-1 -I/usr/include/libxml2 -I/usr/include/freetype2 -I/usr/include/harfbuzz -I/usr/include/libpng16 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libpng16 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/include/libxml2 -DARIS_GUI -O2 -fPIC -w -Wl,--allow-multiple-definition -o aris aio.o app.o aris-proof.o callbacks.o conf-file.o goal.o interop-isar.o list.o menu.o process.o process-main.o proof.o rules-table.o sen-data.o sen-parent.o sentence.o sexpr-process.o sexpr-process-bool.o sexpr-process-equiv.o sexpr-process-infer.o sexpr-process-misc.o sexpr-process-quant.o undo.o var.o vec.o aris.o -lgtk-3 -lgdk-3 -lz -lpangocairo-1.0 -lpango-1.0 -lharfbuzz -latk-1.0 -lcairo-gobject -lcairo -lgdk_pixbuf-2.0 -lgio-2.0 -lgobject-2.0 -lglib-2.0 -lxml2 -lm make[2]: Leaving directory '/usr/src/slapt-src/academic/aris/aris-2.2/src' make[1]: Leaving directory '/usr/src/slapt-src/academic/aris/aris-2.2/src' make[1]: Entering directory '/usr/src/slapt-src/academic/aris/aris-2.2' make[1]: Nothing to be done for 'all-am'. make[1]: Leaving directory '/usr/src/slapt-src/academic/aris/aris-2.2' Making install in src make[1]: Entering directory '/usr/src/slapt-src/academic/aris/aris-2.2/src' make[2]: Entering directory '/usr/src/slapt-src/academic/aris/aris-2.2/src' /usr/bin/mkdir -p '/usr/src/slapt-src/academic/aris/package-aris/usr/bin' /usr/bin/ginstall -c aris '/usr/src/slapt-src/academic/aris/package-aris/usr/bin' make[2]: Nothing to be done for 'install-data-am'. make[2]: Leaving directory '/usr/src/slapt-src/academic/aris/aris-2.2/src' make[1]: Leaving directory '/usr/src/slapt-src/academic/aris/aris-2.2/src' make[1]: Entering directory '/usr/src/slapt-src/academic/aris/aris-2.2' make[2]: Entering directory '/usr/src/slapt-src/academic/aris/aris-2.2' make[2]: Nothing to be done for 'install-exec-am'. make[2]: Nothing to be done for 'install-data-am'. make[2]: Leaving directory '/usr/src/slapt-src/academic/aris/aris-2.2' make[1]: Leaving directory '/usr/src/slapt-src/academic/aris/aris-2.2' Slackware package maker, version 3.14159265. Searching for symbolic links: No symbolic links were found, so we won't make an installation script. You can make your own later in ./install/doinst.sh and rebuild the package if you like. This next step is optional - you can set the directories in your package to some sane permissions. If any of the directories in your package have special permissions, then DO NOT reset them here! Would you like to reset all directory permissions to 755 (drwxr-xr-x) and directory ownerships to root.root ([y]es, [n]o)? n Creating Slackware package: /usr/src/slapt-src/academic/aris/aris-2.2-x86_64-1salix15.0.txz ./ install/ install/slack-desc usr/ usr/bin/ usr/bin/aris usr/doc/ usr/doc/aris-2.2/ usr/doc/aris-2.2/AUTHORS usr/doc/aris-2.2/ChangeLog usr/doc/aris-2.2/NEWS usr/doc/aris-2.2/README usr/doc/aris-2.2/THANKS usr/doc/aris-2.2/TODO usr/doc/aris-2.2/aris.SlackBuild usr/doc/aris-2.2/html/ usr/doc/aris-2.2/html/Adding.html usr/doc/aris-2.2/html/Axioms.html usr/doc/aris-2.2/html/Basic-Usage.html usr/doc/aris-2.2/html/Boolean-Rules.html usr/doc/aris-2.2/html/Config-File.html usr/doc/aris-2.2/html/Connectives.html usr/doc/aris-2.2/html/Customization.html usr/doc/aris-2.2/html/Dialog.html usr/doc/aris-2.2/html/Equivalence-Rules.html usr/doc/aris-2.2/html/Induction.html usr/doc/aris-2.2/html/Inference-Rules.html usr/doc/aris-2.2/html/Interoperability.html usr/doc/aris-2.2/html/Introduction.html usr/doc/aris-2.2/html/Isabelle_002fIsar.html usr/doc/aris-2.2/html/Keyboard-Shortcuts.html usr/doc/aris-2.2/html/Menu-Options.html usr/doc/aris-2.2/html/Miscellaneous-Rules.html usr/doc/aris-2.2/html/Options.html usr/doc/aris-2.2/html/Other-Key-Shortcuts.html usr/doc/aris-2.2/html/Predicate-Rules.html usr/doc/aris-2.2/html/Proof-Windows.html usr/doc/aris-2.2/html/Recursion.html usr/doc/aris-2.2/html/Rules-Index.html usr/doc/aris-2.2/html/Rules-Table.html usr/doc/aris-2.2/html/Selecting.html usr/doc/aris-2.2/html/Sequence-Logic.html usr/doc/aris-2.2/html/Startup.html usr/doc/aris-2.2/html/Submission.html usr/doc/aris-2.2/html/Syntax.html usr/doc/aris-2.2/html/Terms.html usr/doc/aris-2.2/html/ad.html usr/doc/aris-2.2/html/as.html usr/doc/aris-2.2/html/bd.html usr/doc/aris-2.2/html/bi.html usr/doc/aris-2.2/html/bn.html usr/doc/aris-2.2/html/bv.html usr/doc/aris-2.2/html/case.html usr/doc/aris-2.2/html/cd.html usr/doc/aris-2.2/html/class.html usr/doc/aris-2.2/html/cn.html usr/doc/aris-2.2/html/co.html usr/doc/aris-2.2/html/datatype.html usr/doc/aris-2.2/html/definition.html usr/doc/aris-2.2/html/dm.html usr/doc/aris-2.2/html/dn.html usr/doc/aris-2.2/html/ds.html usr/doc/aris-2.2/html/dt.html usr/doc/aris-2.2/html/eg.html usr/doc/aris-2.2/html/ei.html usr/doc/aris-2.2/html/ep.html usr/doc/aris-2.2/html/eq.html usr/doc/aris-2.2/html/ex.html usr/doc/aris-2.2/html/fun.html usr/doc/aris-2.2/html/fv.html usr/doc/aris-2.2/html/hs.html usr/doc/aris-2.2/html/id.html usr/doc/aris-2.2/html/ii.html usr/doc/aris-2.2/html/im.html usr/doc/aris-2.2/html/in.html usr/doc/aris-2.2/html/index.html usr/doc/aris-2.2/html/instance.html usr/doc/aris-2.2/html/lemma_002ftheorem.html usr/doc/aris-2.2/html/lm.html usr/doc/aris-2.2/html/mp.html usr/doc/aris-2.2/html/nq.html usr/doc/aris-2.2/html/other.html usr/doc/aris-2.2/html/pr.html usr/doc/aris-2.2/html/primrec.html usr/doc/aris-2.2/html/sb.html usr/doc/aris-2.2/html/sm.html usr/doc/aris-2.2/html/sn.html usr/doc/aris-2.2/html/sp.html usr/doc/aris-2.2/html/sq.html usr/doc/aris-2.2/html/type_005fsynonym.html usr/doc/aris-2.2/html/ug.html usr/doc/aris-2.2/html/ui.html usr/doc/aris-2.2/proofs/ usr/doc/aris-2.2/proofs/boolean/ usr/doc/aris-2.2/proofs/boolean/pf-bd.tle usr/doc/aris-2.2/proofs/boolean/pf-bi.tle usr/doc/aris-2.2/proofs/boolean/pf-bn.tle usr/doc/aris-2.2/proofs/boolean/pf-sn.tle usr/doc/aris-2.2/proofs/equivalence/ usr/doc/aris-2.2/proofs/equivalence/pf-as.tle usr/doc/aris-2.2/proofs/equivalence/pf-co.tle usr/doc/aris-2.2/proofs/equivalence/pf-dm.tle usr/doc/aris-2.2/proofs/equivalence/pf-dn.tle usr/doc/aris-2.2/proofs/equivalence/pf-dt.tle usr/doc/aris-2.2/proofs/equivalence/pf-ep.tle usr/doc/aris-2.2/proofs/equivalence/pf-eq.tle usr/doc/aris-2.2/proofs/equivalence/pf-id.tle usr/doc/aris-2.2/proofs/equivalence/pf-im.tle usr/doc/aris-2.2/proofs/equivalence/pf-sb.tle usr/doc/aris-2.2/proofs/inference/ usr/doc/aris-2.2/proofs/inference/pf-ad.tle usr/doc/aris-2.2/proofs/inference/pf-cd.tle usr/doc/aris-2.2/proofs/inference/pf-cn.tle usr/doc/aris-2.2/proofs/inference/pf-ds.tle usr/doc/aris-2.2/proofs/inference/pf-ex.tle usr/doc/aris-2.2/proofs/inference/pf-hs.tle usr/doc/aris-2.2/proofs/inference/pf-mp.tle usr/doc/aris-2.2/proofs/inference/pf-sm.tle usr/doc/aris-2.2/proofs/miscellaneous/ usr/doc/aris-2.2/proofs/miscellaneous/pf-sp.tle usr/doc/aris-2.2/proofs/quantifier/ usr/doc/aris-2.2/proofs/quantifier/pf-bv.tle usr/doc/aris-2.2/proofs/quantifier/pf-eg.tle usr/doc/aris-2.2/proofs/quantifier/pf-ei.tle usr/doc/aris-2.2/proofs/quantifier/pf-fv.tle usr/doc/aris-2.2/proofs/quantifier/pf-ii.tle usr/doc/aris-2.2/proofs/quantifier/pf-nq.tle usr/doc/aris-2.2/proofs/quantifier/pf-pr.tle usr/doc/aris-2.2/proofs/quantifier/pf-ug.tle usr/doc/aris-2.2/proofs/quantifier/pf-ui.tle usr/info/ usr/info/aris.info.gz Slackware package /usr/src/slapt-src/academic/aris/aris-2.2-x86_64-1salix15.0.txz created. Installing package aris-2.2-x86_64-1salix15.0... | aris (sequential proof program) | | GNU Aris is a sequential proof program, designed to assist anyone | interested in solving logical proofs. Aris supports both propositional | and predicate logic, as well as Boolean algebra and arithmetical logic | in the form of abstract sequences. It uses a predefined set of both | inference and equivalence rules, however gives the user options to use | older proofs as lemmas, including Isabelle's Isar proofs. | | Home page: https://www.gnu.org/software/aris/ | | |