starting phase `separate-from-pid1' build process now running as PID 18 phase `separate-from-pid1' succeeded after 0.0 seconds starting phase `set-SOURCE-DATE-EPOCH' phase `set-SOURCE-DATE-EPOCH' succeeded after 0.0 seconds starting phase `set-paths' environment variable `PATH' set to `/gnu/store/95jkrnirsbb25mhn8b8jshrrdp329c7q-cmake-minimal-3.24.2/bin:/gnu/store/xf9q2qibn5vb6cy6jb3ifkrh4wql7vxy-tar-1.34/bin:/gnu/store/5g3pia8fi48qvaqhb0xqw1j5yrxfkpbm-gzip-1.13/bin:/gnu/store/7g02j4v5hqpp6pdli5wsxls4pv5r1z25-bzip2-1.0.8/bin:/gnu/store/dmyjj7h2s2a2w5mcq6vacn3g7bxlcqfv-file-5.45/bin:/gnu/store/l1vf4qc0b70pzxqgz72sm4rj7b5fa1w0-diffutils-3.10/bin:/gnu/store/ihhhssc16ii48rds45i7v356l7p721ri-patch-2.7.6/bin:/gnu/store/w7isjvmf0qcs290vjwb7p3rjyfx0dn4s-findutils-4.9.0/bin:/gnu/store/77jdcly3xkn8banp17vpfqm8f5vak8wc-gawk-5.3.0/bin:/gnu/store/y8khv5c0z35xd5wh3lga1npkrg4n53wm-zstd-1.5.2/bin:/gnu/store/8mapjfzb13assv6nd4kph3csvqydk6ym-sed-4.8/bin:/gnu/store/ysla2nchzpzpr9gwhwv2ihm26hriiqxg-grep-3.11/bin:/gnu/store/ycv1hhqj8ny80xbdprcjyzhmyss1g2p3-xz-5.4.5/bin:/gnu/store/62c9pawfdpv1qrgavs8amadbwz8zfiaf-coreutils-9.1/bin:/gnu/store/lx366j1ydprzjyx6gyhjg3095m0swwqg-make-4.4.1/bin:/gnu/store/d7q6yazfa1bxf4x7p9n3b99hn97q6bvw-bash-minimal-5.1.16/bin:/gnu/store/cfzwm4yq78c39iqxlr146jr2lk1rl09c-ld-wrapper-0/bin:/gnu/store/pqai4n95zn5wdw430gslb00sb967jdg8-binutils-2.41/bin:/gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin:/gnu/store/3gvs8sw95ldfypr1n688svl5brwdmdi9-glibc-2.39/bin:/gnu/store/3gvs8sw95ldfypr1n688svl5brwdmdi9-glibc-2.39/sbin' environment variable `CMAKE_PREFIX_PATH' set to `/gnu/store/95jkrnirsbb25mhn8b8jshrrdp329c7q-cmake-minimal-3.24.2/:/gnu/store/yq472smrzla3wx86ywxsqads9wllbmgr-cxxopts-3.1.1/:/gnu/store/nd5bmk6il2d8021k9y7nd358l3vmqa2q-mapbox-variant-1.2.0/:/gnu/store/xf9q2qibn5vb6cy6jb3ifkrh4wql7vxy-tar-1.34/:/gnu/store/5g3pia8fi48qvaqhb0xqw1j5yrxfkpbm-gzip-1.13/:/gnu/store/7g02j4v5hqpp6pdli5wsxls4pv5r1z25-bzip2-1.0.8/:/gnu/store/dmyjj7h2s2a2w5mcq6vacn3g7bxlcqfv-file-5.45/:/gnu/store/l1vf4qc0b70pzxqgz72sm4rj7b5fa1w0-diffutils-3.10/:/gnu/store/ihhhssc16ii48rds45i7v356l7p721ri-patch-2.7.6/:/gnu/store/w7isjvmf0qcs290vjwb7p3rjyfx0dn4s-findutils-4.9.0/:/gnu/store/77jdcly3xkn8banp17vpfqm8f5vak8wc-gawk-5.3.0/:/gnu/store/y8khv5c0z35xd5wh3lga1npkrg4n53wm-zstd-1.5.2/:/gnu/store/8mapjfzb13assv6nd4kph3csvqydk6ym-sed-4.8/:/gnu/store/ysla2nchzpzpr9gwhwv2ihm26hriiqxg-grep-3.11/:/gnu/store/ycv1hhqj8ny80xbdprcjyzhmyss1g2p3-xz-5.4.5/:/gnu/store/62c9pawfdpv1qrgavs8amadbwz8zfiaf-coreutils-9.1/:/gnu/store/lx366j1ydprzjyx6gyhjg3095m0swwqg-make-4.4.1/:/gnu/store/d7q6yazfa1bxf4x7p9n3b99hn97q6bvw-bash-minimal-5.1.16/:/gnu/store/cfzwm4yq78c39iqxlr146jr2lk1rl09c-ld-wrapper-0/:/gnu/store/pqai4n95zn5wdw430gslb00sb967jdg8-binutils-2.41/:/gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/:/gnu/store/3gvs8sw95ldfypr1n688svl5brwdmdi9-glibc-2.39/:/gnu/store/s21dvcsxf4ynf9jsip352z568knxb5hp-glibc-2.39-static/:/gnu/store/9xcpby78v4ydigv3s1rxc8ndyl2ni95m-linux-libre-headers-5.15.49/' environment variable `SSL_CERT_DIR' unset environment variable `SSL_CERT_FILE' unset environment variable `BASH_LOADABLES_PATH' unset environment variable `C_INCLUDE_PATH' set to `/gnu/store/yq472smrzla3wx86ywxsqads9wllbmgr-cxxopts-3.1.1/include:/gnu/store/nd5bmk6il2d8021k9y7nd358l3vmqa2q-mapbox-variant-1.2.0/include:/gnu/store/7g02j4v5hqpp6pdli5wsxls4pv5r1z25-bzip2-1.0.8/include:/gnu/store/dmyjj7h2s2a2w5mcq6vacn3g7bxlcqfv-file-5.45/include:/gnu/store/77jdcly3xkn8banp17vpfqm8f5vak8wc-gawk-5.3.0/include:/gnu/store/ycv1hhqj8ny80xbdprcjyzhmyss1g2p3-xz-5.4.5/include:/gnu/store/lx366j1ydprzjyx6gyhjg3095m0swwqg-make-4.4.1/include:/gnu/store/pqai4n95zn5wdw430gslb00sb967jdg8-binutils-2.41/include:/gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/include:/gnu/store/3gvs8sw95ldfypr1n688svl5brwdmdi9-glibc-2.39/include:/gnu/store/9xcpby78v4ydigv3s1rxc8ndyl2ni95m-linux-libre-headers-5.15.49/include' environment variable `CPLUS_INCLUDE_PATH' set to `/gnu/store/yq472smrzla3wx86ywxsqads9wllbmgr-cxxopts-3.1.1/include:/gnu/store/nd5bmk6il2d8021k9y7nd358l3vmqa2q-mapbox-variant-1.2.0/include:/gnu/store/7g02j4v5hqpp6pdli5wsxls4pv5r1z25-bzip2-1.0.8/include:/gnu/store/dmyjj7h2s2a2w5mcq6vacn3g7bxlcqfv-file-5.45/include:/gnu/store/77jdcly3xkn8banp17vpfqm8f5vak8wc-gawk-5.3.0/include:/gnu/store/ycv1hhqj8ny80xbdprcjyzhmyss1g2p3-xz-5.4.5/include:/gnu/store/lx366j1ydprzjyx6gyhjg3095m0swwqg-make-4.4.1/include:/gnu/store/pqai4n95zn5wdw430gslb00sb967jdg8-binutils-2.41/include:/gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/include/c++:/gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/include:/gnu/store/3gvs8sw95ldfypr1n688svl5brwdmdi9-glibc-2.39/include:/gnu/store/9xcpby78v4ydigv3s1rxc8ndyl2ni95m-linux-libre-headers-5.15.49/include' environment variable `OBJC_INCLUDE_PATH' set to `/gnu/store/yq472smrzla3wx86ywxsqads9wllbmgr-cxxopts-3.1.1/include:/gnu/store/nd5bmk6il2d8021k9y7nd358l3vmqa2q-mapbox-variant-1.2.0/include:/gnu/store/7g02j4v5hqpp6pdli5wsxls4pv5r1z25-bzip2-1.0.8/include:/gnu/store/dmyjj7h2s2a2w5mcq6vacn3g7bxlcqfv-file-5.45/include:/gnu/store/77jdcly3xkn8banp17vpfqm8f5vak8wc-gawk-5.3.0/include:/gnu/store/ycv1hhqj8ny80xbdprcjyzhmyss1g2p3-xz-5.4.5/include:/gnu/store/lx366j1ydprzjyx6gyhjg3095m0swwqg-make-4.4.1/include:/gnu/store/pqai4n95zn5wdw430gslb00sb967jdg8-binutils-2.41/include:/gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/include:/gnu/store/3gvs8sw95ldfypr1n688svl5brwdmdi9-glibc-2.39/include:/gnu/store/9xcpby78v4ydigv3s1rxc8ndyl2ni95m-linux-libre-headers-5.15.49/include' environment variable `OBJCPLUS_INCLUDE_PATH' set to `/gnu/store/yq472smrzla3wx86ywxsqads9wllbmgr-cxxopts-3.1.1/include:/gnu/store/nd5bmk6il2d8021k9y7nd358l3vmqa2q-mapbox-variant-1.2.0/include:/gnu/store/7g02j4v5hqpp6pdli5wsxls4pv5r1z25-bzip2-1.0.8/include:/gnu/store/dmyjj7h2s2a2w5mcq6vacn3g7bxlcqfv-file-5.45/include:/gnu/store/77jdcly3xkn8banp17vpfqm8f5vak8wc-gawk-5.3.0/include:/gnu/store/ycv1hhqj8ny80xbdprcjyzhmyss1g2p3-xz-5.4.5/include:/gnu/store/lx366j1ydprzjyx6gyhjg3095m0swwqg-make-4.4.1/include:/gnu/store/pqai4n95zn5wdw430gslb00sb967jdg8-binutils-2.41/include:/gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/include/c++:/gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/include:/gnu/store/3gvs8sw95ldfypr1n688svl5brwdmdi9-glibc-2.39/include:/gnu/store/9xcpby78v4ydigv3s1rxc8ndyl2ni95m-linux-libre-headers-5.15.49/include' environment variable `LIBRARY_PATH' set to `/gnu/store/yq472smrzla3wx86ywxsqads9wllbmgr-cxxopts-3.1.1/lib:/gnu/store/7g02j4v5hqpp6pdli5wsxls4pv5r1z25-bzip2-1.0.8/lib:/gnu/store/dmyjj7h2s2a2w5mcq6vacn3g7bxlcqfv-file-5.45/lib:/gnu/store/77jdcly3xkn8banp17vpfqm8f5vak8wc-gawk-5.3.0/lib:/gnu/store/ycv1hhqj8ny80xbdprcjyzhmyss1g2p3-xz-5.4.5/lib:/gnu/store/pqai4n95zn5wdw430gslb00sb967jdg8-binutils-2.41/lib:/gnu/store/3gvs8sw95ldfypr1n688svl5brwdmdi9-glibc-2.39/lib:/gnu/store/s21dvcsxf4ynf9jsip352z568knxb5hp-glibc-2.39-static/lib' environment variable `GUIX_LOCPATH' set to `/gnu/store/3gvs8sw95ldfypr1n688svl5brwdmdi9-glibc-2.39/lib/locale' environment variable `TZDIR' unset phase `set-paths' succeeded after 0.0 seconds starting phase `install-locale' using 'C.UTF-8' locale for category "LC_ALL" phase `install-locale' succeeded after 0.0 seconds starting phase `unpack' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/.gitattributes' -> `./.gitattributes' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/.gitignore' -> `./.gitignore' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/CHANGELOG.md' -> `./CHANGELOG.md' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/CMakeLists.txt' -> `./CMakeLists.txt' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/LICENSE.md' -> `./LICENSE.md' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/KNOWN-ISSUES.md' -> `./KNOWN-ISSUES.md' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/README.md' -> `./README.md' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/.travis.yml' -> `./.travis.yml' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/.gitmodules' -> `./.gitmodules' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/encodings/sequential-horizon.lp' -> `./encodings/sequential-horizon.lp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/encodings/strips/incmode.lp' -> `./encodings/strips/incmode.lp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/encodings/strips/redundancy.lp' -> `./encodings/strips/redundancy.lp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/encodings/strips/preprocess.lp' -> `./encodings/strips/preprocess.lp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/encodings/strips/postprocess.lp' -> `./encodings/strips/postprocess.lp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/encodings/strips/strips-incremental.lp' -> `./encodings/strips/strips-incremental.lp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/encodings/strips/README.md' -> `./encodings/strips/README.md' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/encodings/outdated/sequential-incremental.lp' -> `./encodings/outdated/sequential-incremental.lp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/encodings/outdated/pddl-sequential-incremental-boolean.lp' -> `./encodings/outdated/pddl-sequential-incremental-boolean.lp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/encodings/outdated/sas-sequential-incremental-multivalued-axioms-condeffects.lp' -> `./encodings/outdated/sas-sequential-incremental-multivalued-axioms-condeffects.lp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/encodings/outdated/pddl-sequential-horizon-boolean.lp' -> `./encodings/outdated/pddl-sequential-horizon-boolean.lp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/src/CMakeLists.txt' -> `./src/CMakeLists.txt' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/src/plasp/Language.cpp' -> `./src/plasp/Language.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/src/plasp/pddl/TranslatorASP.cpp' -> `./src/plasp/pddl/TranslatorASP.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/src/plasp/sas/AxiomRule.cpp' -> `./src/plasp/sas/AxiomRule.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/src/plasp/sas/Operator.cpp' -> `./src/plasp/sas/Operator.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/src/plasp/sas/InitialState.cpp' -> `./src/plasp/sas/InitialState.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/src/plasp/sas/MutexGroup.cpp' -> `./src/plasp/sas/MutexGroup.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/src/plasp/sas/Variable.cpp' -> `./src/plasp/sas/Variable.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/src/plasp/sas/Debugging.cpp' -> `./src/plasp/sas/Debugging.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/src/plasp/sas/Description.cpp' -> `./src/plasp/sas/Description.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/src/plasp/sas/TranslatorASP.cpp' -> `./src/plasp/sas/TranslatorASP.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/src/plasp/sas/Effect.cpp' -> `./src/plasp/sas/Effect.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/src/plasp/sas/Predicate.cpp' -> `./src/plasp/sas/Predicate.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/src/plasp/sas/Goal.cpp' -> `./src/plasp/sas/Goal.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/src/plasp/sas/VariableTransition.cpp' -> `./src/plasp/sas/VariableTransition.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/src/plasp/sas/Value.cpp' -> `./src/plasp/sas/Value.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/src/plasp/sas/AssignedVariable.cpp' -> `./src/plasp/sas/AssignedVariable.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/app/CMakeLists.txt' -> `./app/CMakeLists.txt' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/app/src/CMakeLists.txt' -> `./app/src/CMakeLists.txt' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/app/src/plasp-app/OptionGroups.cpp' -> `./app/src/plasp-app/OptionGroups.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/app/src/plasp-app/main.cpp' -> `./app/src/plasp-app/main.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/app/src/plasp-app/commands/CommandTranslate.cpp' -> `./app/src/plasp-app/commands/CommandTranslate.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/app/src/plasp-app/commands/CommandCheckSyntax.cpp' -> `./app/src/plasp-app/commands/CommandCheckSyntax.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/app/src/plasp-app/commands/CommandBeautify.cpp' -> `./app/src/plasp-app/commands/CommandBeautify.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/app/src/plasp-app/commands/CommandNormalize.cpp' -> `./app/src/plasp-app/commands/CommandNormalize.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/app/src/plasp-app/commands/CommandVersion.cpp' -> `./app/src/plasp-app/commands/CommandVersion.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/app/src/plasp-app/commands/CommandHelp.cpp' -> `./app/src/plasp-app/commands/CommandHelp.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/app/include/plasp-app/Utils.h' -> `./app/include/plasp-app/Utils.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/app/include/plasp-app/OptionGroups.h' -> `./app/include/plasp-app/OptionGroups.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/app/include/plasp-app/Command.h' -> `./app/include/plasp-app/Command.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/app/include/plasp-app/CommandType.h' -> `./app/include/plasp-app/CommandType.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/app/include/plasp-app/Version.h' -> `./app/include/plasp-app/Version.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/app/include/plasp-app/commands/CommandNormalize.h' -> `./app/include/plasp-app/commands/CommandNormalize.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/app/include/plasp-app/commands/CommandTranslate.h' -> `./app/include/plasp-app/commands/CommandTranslate.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/app/include/plasp-app/commands/CommandBeautify.h' -> `./app/include/plasp-app/commands/CommandBeautify.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/app/include/plasp-app/commands/CommandCheckSyntax.h' -> `./app/include/plasp-app/commands/CommandCheckSyntax.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/app/include/plasp-app/commands/CommandVersion.h' -> `./app/include/plasp-app/commands/CommandVersion.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/app/include/plasp-app/commands/CommandHelp.h' -> `./app/include/plasp-app/commands/CommandHelp.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/include/plasp/TranslatorException.h' -> `./include/plasp/TranslatorException.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/include/plasp/LanguageDetection.h' -> `./include/plasp/LanguageDetection.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/include/plasp/Language.h' -> `./include/plasp/Language.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/include/plasp/pddl/TranslatorASP.h' -> `./include/plasp/pddl/TranslatorASP.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/include/plasp/pddl/translation/Predicate.h' -> `./include/plasp/pddl/translation/Predicate.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/include/plasp/pddl/translation/Fact.h' -> `./include/plasp/pddl/translation/Fact.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/include/plasp/pddl/translation/DerivedPredicate.h' -> `./include/plasp/pddl/translation/DerivedPredicate.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/include/plasp/pddl/translation/Precondition.h' -> `./include/plasp/pddl/translation/Precondition.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/include/plasp/pddl/translation/Variables.h' -> `./include/plasp/pddl/translation/Variables.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/include/plasp/pddl/translation/Primitives.h' -> `./include/plasp/pddl/translation/Primitives.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/include/plasp/pddl/translation/Variable.h' -> `./include/plasp/pddl/translation/Variable.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/include/plasp/pddl/translation/VariableStack.h' -> `./include/plasp/pddl/translation/VariableStack.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/include/plasp/pddl/translation/Goal.h' -> `./include/plasp/pddl/translation/Goal.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/include/plasp/pddl/translation/DerivedPredicatePrecondition.h' -> `./include/plasp/pddl/translation/DerivedPredicatePrecondition.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/include/plasp/pddl/translation/ConditionalEffect.h' -> `./include/plasp/pddl/translation/ConditionalEffect.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/include/plasp/pddl/translation/Effect.h' -> `./include/plasp/pddl/translation/Effect.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/include/plasp/sas/Predicate.h' -> `./include/plasp/sas/Predicate.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/include/plasp/sas/Operator.h' -> `./include/plasp/sas/Operator.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/include/plasp/sas/TranslatorASP.h' -> `./include/plasp/sas/TranslatorASP.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/include/plasp/sas/InitialState.h' -> `./include/plasp/sas/InitialState.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/include/plasp/sas/AxiomRule.h' -> `./include/plasp/sas/AxiomRule.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/include/plasp/sas/MutexGroup.h' -> `./include/plasp/sas/MutexGroup.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/include/plasp/sas/Variable.h' -> `./include/plasp/sas/Variable.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/include/plasp/sas/AssignedVariable.h' -> `./include/plasp/sas/AssignedVariable.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/include/plasp/sas/Description.h' -> `./include/plasp/sas/Description.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/include/plasp/sas/Value.h' -> `./include/plasp/sas/Value.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/include/plasp/sas/Goal.h' -> `./include/plasp/sas/Goal.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/include/plasp/sas/Debugging.h' -> `./include/plasp/sas/Debugging.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/include/plasp/sas/VariableTransition.h' -> `./include/plasp/sas/VariableTransition.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/include/plasp/sas/Effect.h' -> `./include/plasp/sas/Effect.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-2000-blocks-track-1-typed/solutions' -> `./instances/PDDL/ipc-2000-blocks-track-1-typed/solutions' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-2000-blocks-track-1-typed/domain.pddl' -> `./instances/PDDL/ipc-2000-blocks-track-1-typed/domain.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-2000-blocks-track-1-typed/problem-04-00.pddl' -> `./instances/PDDL/ipc-2000-blocks-track-1-typed/problem-04-00.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-2000-blocks-track-1-typed/problem-09-02.pddl' -> `./instances/PDDL/ipc-2000-blocks-track-1-typed/problem-09-02.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-2000-blocks-track-1-typed/problem-08-01.pddl' -> `./instances/PDDL/ipc-2000-blocks-track-1-typed/problem-08-01.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-2000-blocks-track-1-typed/problem-05-01.pddl' -> `./instances/PDDL/ipc-2000-blocks-track-1-typed/problem-05-01.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-2004-satellite/solutions' -> `./instances/PDDL/ipc-2004-satellite/solutions' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-2004-satellite/domain.pddl' -> `./instances/PDDL/ipc-2004-satellite/domain.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-2004-satellite/problem-02.pddl' -> `./instances/PDDL/ipc-2004-satellite/problem-02.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-2004-satellite/problem-01.pddl' -> `./instances/PDDL/ipc-2004-satellite/problem-01.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-2004-satellite/problem-03.pddl' -> `./instances/PDDL/ipc-2004-satellite/problem-03.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-2006-tpp-propositional/problem-04.pddl' -> `./instances/PDDL/ipc-2006-tpp-propositional/problem-04.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-2006-tpp-propositional/solutions' -> `./instances/PDDL/ipc-2006-tpp-propositional/solutions' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-2006-tpp-propositional/domain.pddl' -> `./instances/PDDL/ipc-2006-tpp-propositional/domain.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-2006-tpp-propositional/problem-02.pddl' -> `./instances/PDDL/ipc-2006-tpp-propositional/problem-02.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-2006-tpp-propositional/problem-03.pddl' -> `./instances/PDDL/ipc-2006-tpp-propositional/problem-03.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-2000-elevator-m10-strips/solutions' -> `./instances/PDDL/ipc-2000-elevator-m10-strips/solutions' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-2000-elevator-m10-strips/domain.pddl' -> `./instances/PDDL/ipc-2000-elevator-m10-strips/domain.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-2000-elevator-m10-strips/problem-04-00.pddl' -> `./instances/PDDL/ipc-2000-elevator-m10-strips/problem-04-00.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-2000-elevator-m10-strips/problem-04-01.pddl' -> `./instances/PDDL/ipc-2000-elevator-m10-strips/problem-04-01.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-2000-elevator-m10-strips/problem-03-00.pddl' -> `./instances/PDDL/ipc-2000-elevator-m10-strips/problem-03-00.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-2000-elevator-m10-strips/problem-03-01.pddl' -> `./instances/PDDL/ipc-2000-elevator-m10-strips/problem-03-01.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-2002-depots-strips/solutions' -> `./instances/PDDL/ipc-2002-depots-strips/solutions' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-2002-depots-strips/domain.pddl' -> `./instances/PDDL/ipc-2002-depots-strips/domain.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-2002-depots-strips/problem-02.pddl' -> `./instances/PDDL/ipc-2002-depots-strips/problem-02.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-2002-depots-strips/problem-01.pddl' -> `./instances/PDDL/ipc-2002-depots-strips/problem-01.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-1998-gripper/solutions' -> `./instances/PDDL/ipc-1998-gripper/solutions' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-1998-gripper/domain.pddl' -> `./instances/PDDL/ipc-1998-gripper/domain.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-1998-gripper/problem-02.pddl' -> `./instances/PDDL/ipc-1998-gripper/problem-02.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-1998-gripper/problem-01.pddl' -> `./instances/PDDL/ipc-1998-gripper/problem-01.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-2002-driver-log-strips/solutions' -> `./instances/PDDL/ipc-2002-driver-log-strips/solutions' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-2002-driver-log-strips/domain.pddl' -> `./instances/PDDL/ipc-2002-driver-log-strips/domain.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-2002-driver-log-strips/problem-01.pddl' -> `./instances/PDDL/ipc-2002-driver-log-strips/problem-01.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/PDDL/ipc-2002-driver-log-strips/problem-03.pddl' -> `./instances/PDDL/ipc-2002-driver-log-strips/problem-03.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/SAS/ipc-2004-pomela-philosophers-adl/problem-01.sas' -> `./instances/SAS/ipc-2004-pomela-philosophers-adl/problem-01.sas' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/SAS/ipc-2008-seq-sat-openstacks-adl/problem-10.sas' -> `./instances/SAS/ipc-2008-seq-sat-openstacks-adl/problem-10.sas' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/SAS/ipc-2008-seq-sat-openstacks-adl/problem-01.sas' -> `./instances/SAS/ipc-2008-seq-sat-openstacks-adl/problem-01.sas' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/SAS/ipc-2008-seq-sat-openstacks-adl/problem-02.sas' -> `./instances/SAS/ipc-2008-seq-sat-openstacks-adl/problem-02.sas' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/SAS/ipc-2004-airport-nontemporal-adl/problem-01.sas' -> `./instances/SAS/ipc-2004-airport-nontemporal-adl/problem-01.sas' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/SAS/ipc-2004-airport-nontemporal-adl/problem-03.sas' -> `./instances/SAS/ipc-2004-airport-nontemporal-adl/problem-03.sas' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/SAS/ipc-2000-elevator-m10-simple/problem-01-02.sas' -> `./instances/SAS/ipc-2000-elevator-m10-simple/problem-01-02.sas' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/SAS/ipc-2000-elevator-m10-simple/problem-01-00.sas' -> `./instances/SAS/ipc-2000-elevator-m10-simple/problem-01-00.sas' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/SAS/ipc-2000-elevator-m10-simple/problem-01-01.sas' -> `./instances/SAS/ipc-2000-elevator-m10-simple/problem-01-01.sas' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/SAS/ipc-2000-elevator-m10-simple/problem-01-04.sas' -> `./instances/SAS/ipc-2000-elevator-m10-simple/problem-01-04.sas' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/SAS/ipc-2000-elevator-m10-simple/problem-05-00.sas' -> `./instances/SAS/ipc-2000-elevator-m10-simple/problem-05-00.sas' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/SAS/ipc-2000-elevator-m10-simple/problem-01-03.sas' -> `./instances/SAS/ipc-2000-elevator-m10-simple/problem-01-03.sas' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/SAS/ipc-2000-elevator-m10-simple/problem-02-00.sas' -> `./instances/SAS/ipc-2000-elevator-m10-simple/problem-02-00.sas' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/SAS/ipc-2000-elevator-m10-simple/problem-05-01.sas' -> `./instances/SAS/ipc-2000-elevator-m10-simple/problem-05-01.sas' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/instances/SAS/ipc-2000-elevator-m10-simple/problem-03-00.sas' -> `./instances/SAS/ipc-2000-elevator-m10-simple/problem-03-00.sas' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/doc/pddl-feature-support.md' -> `./doc/pddl-feature-support.md' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/doc/building.md' -> `./doc/building.md' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/doc/output-format.md' -> `./doc/output-format.md' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/doc/feature-requirements.md' -> `./doc/feature-requirements.md' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/NullOutputStream.h' -> `./tests/NullOutputStream.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/CMakeLists.txt' -> `./tests/CMakeLists.txt' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/TestPDDLTranslation.cpp' -> `./tests/TestPDDLTranslation.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/TestSASParser.cpp' -> `./tests/TestSASParser.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/main.cpp' -> `./tests/main.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/freecell.sas' -> `./tests/data/freecell.sas' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/woodworking-domain.pddl' -> `./tests/data/woodworking-domain.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/philosophers.sas' -> `./tests/data/philosophers.sas' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/storage-domain.pddl' -> `./tests/data/storage-domain.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/blocksworld-domain.pddl' -> `./tests/data/blocksworld-domain.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/blocksworld.sas' -> `./tests/data/blocksworld.sas' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/blocksworld-problem.pddl' -> `./tests/data/blocksworld-problem.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/storage-problem.pddl' -> `./tests/data/storage-problem.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/cavediving.sas' -> `./tests/data/cavediving.sas' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/pddl-syntax/domain-parentheses-6.pddl' -> `./tests/data/pddl-syntax/domain-parentheses-6.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/pddl-syntax/domain-section-name-2.pddl' -> `./tests/data/pddl-syntax/domain-section-name-2.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/pddl-syntax/domain-section-name-3.pddl' -> `./tests/data/pddl-syntax/domain-section-name-3.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/pddl-syntax/domain-variables-2.pddl' -> `./tests/data/pddl-syntax/domain-variables-2.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/pddl-syntax/domain-types-2.pddl' -> `./tests/data/pddl-syntax/domain-types-2.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/pddl-syntax/domain-parentheses-5.pddl' -> `./tests/data/pddl-syntax/domain-parentheses-5.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/pddl-syntax/domain-variables-1.pddl' -> `./tests/data/pddl-syntax/domain-variables-1.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/pddl-syntax/domain-parentheses-7.pddl' -> `./tests/data/pddl-syntax/domain-parentheses-7.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/pddl-syntax/domain-parentheses-8.pddl' -> `./tests/data/pddl-syntax/domain-parentheses-8.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/pddl-syntax/domain-valid.pddl' -> `./tests/data/pddl-syntax/domain-valid.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/pddl-syntax/domain-section-name-4.pddl' -> `./tests/data/pddl-syntax/domain-section-name-4.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/pddl-syntax/domain-parentheses-1.pddl' -> `./tests/data/pddl-syntax/domain-parentheses-1.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/pddl-syntax/domain-expressions-2.pddl' -> `./tests/data/pddl-syntax/domain-expressions-2.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/pddl-syntax/domain-types-3.pddl' -> `./tests/data/pddl-syntax/domain-types-3.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/pddl-syntax/domain-section-name-5.pddl' -> `./tests/data/pddl-syntax/domain-section-name-5.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/pddl-syntax/domain-section-name-7.pddl' -> `./tests/data/pddl-syntax/domain-section-name-7.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/pddl-syntax/domain-parentheses-4.pddl' -> `./tests/data/pddl-syntax/domain-parentheses-4.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/pddl-syntax/domain-types-4.pddl' -> `./tests/data/pddl-syntax/domain-types-4.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/pddl-syntax/domain-parentheses-3.pddl' -> `./tests/data/pddl-syntax/domain-parentheses-3.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/pddl-syntax/domain-expressions-1.pddl' -> `./tests/data/pddl-syntax/domain-expressions-1.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/pddl-syntax/domain-section-name-6.pddl' -> `./tests/data/pddl-syntax/domain-section-name-6.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/pddl-syntax/domain-section-name-1.pddl' -> `./tests/data/pddl-syntax/domain-section-name-1.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/pddl-syntax/domain-variables-3.pddl' -> `./tests/data/pddl-syntax/domain-variables-3.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/pddl-syntax/domain-expression-name-1.pddl' -> `./tests/data/pddl-syntax/domain-expression-name-1.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/pddl-syntax/domain-expression-name-2.pddl' -> `./tests/data/pddl-syntax/domain-expression-name-2.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/pddl-syntax/domain-expressions-3.pddl' -> `./tests/data/pddl-syntax/domain-expressions-3.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/pddl-syntax/domain-types-1.pddl' -> `./tests/data/pddl-syntax/domain-types-1.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/pddl-syntax/domain-expression-name-3.pddl' -> `./tests/data/pddl-syntax/domain-expression-name-3.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/pddl-syntax/domain-parentheses-2.pddl' -> `./tests/data/pddl-syntax/domain-parentheses-2.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/test-cases/typing-1.pddl' -> `./tests/data/test-cases/typing-1.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/test-cases/skeleton.pddl' -> `./tests/data/test-cases/skeleton.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/issues/issue-6.sas' -> `./tests/data/issues/issue-6.sas' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/issues/issue-9.pddl' -> `./tests/data/issues/issue-9.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/issues/issue-8.pddl' -> `./tests/data/issues/issue-8.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/issues/issue-10.pddl' -> `./tests/data/issues/issue-10.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/issues/issue-1.pddl' -> `./tests/data/issues/issue-1.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/issues/issue-5.pddl' -> `./tests/data/issues/issue-5.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/issues/issue-3.pddl' -> `./tests/data/issues/issue-3.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/issues/issue-4.pddl' -> `./tests/data/issues/issue-4.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/issues/issue-7.pddl' -> `./tests/data/issues/issue-7.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/issues/issue-2.pddl' -> `./tests/data/issues/issue-2.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/issues/issue-11.pddl' -> `./tests/data/issues/issue-11.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/normalization/normalization-6-3.pddl' -> `./tests/data/normalization/normalization-6-3.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/normalization/normalization-6-2.pddl' -> `./tests/data/normalization/normalization-6-2.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/normalization/normalization-1.pddl' -> `./tests/data/normalization/normalization-1.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/normalization/normalization-5.pddl' -> `./tests/data/normalization/normalization-5.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/normalization/normalization-2.pddl' -> `./tests/data/normalization/normalization-2.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/normalization/normalization-6-1.pddl' -> `./tests/data/normalization/normalization-6-1.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/normalization/normalization-4.pddl' -> `./tests/data/normalization/normalization-4.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/tests/data/normalization/normalization-3.pddl' -> `./tests/data/normalization/normalization-3.pddl' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/tokenize/CMakeLists.txt' -> `./lib/tokenize/CMakeLists.txt' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/tokenize/include/tokenize/TokenizerPolicy.h' -> `./lib/tokenize/include/tokenize/TokenizerPolicy.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/tokenize/include/tokenize/TokenizerException.h' -> `./lib/tokenize/include/tokenize/TokenizerException.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/tokenize/include/tokenize/StreamPosition.h' -> `./lib/tokenize/include/tokenize/StreamPosition.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/tokenize/include/tokenize/Stream.h' -> `./lib/tokenize/include/tokenize/Stream.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/tokenize/include/tokenize/Location.h' -> `./lib/tokenize/include/tokenize/Location.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/tokenize/include/tokenize/Tokenizer.h' -> `./lib/tokenize/include/tokenize/Tokenizer.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/tokenize/tests/CMakeLists.txt' -> `./lib/tokenize/tests/CMakeLists.txt' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/tokenize/tests/TestTokenizer.cpp' -> `./lib/tokenize/tests/TestTokenizer.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/tokenize/tests/main.cpp' -> `./lib/tokenize/tests/main.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/CMakeLists.txt' -> `./lib/pddl/CMakeLists.txt' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/CMakeLists.txt' -> `./lib/pddl/src/CMakeLists.txt' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/Parse.cpp' -> `./lib/pddl/src/pddl/Parse.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/VariableStack.cpp' -> `./lib/pddl/src/pddl/detail/VariableStack.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/Requirements.cpp' -> `./lib/pddl/src/pddl/detail/Requirements.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/SignatureMatching.cpp' -> `./lib/pddl/src/pddl/detail/SignatureMatching.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/parsing/Precondition.cpp' -> `./lib/pddl/src/pddl/detail/parsing/Precondition.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/parsing/Domain.cpp' -> `./lib/pddl/src/pddl/detail/parsing/Domain.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/parsing/Problem.cpp' -> `./lib/pddl/src/pddl/detail/parsing/Problem.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/parsing/InitialState.cpp' -> `./lib/pddl/src/pddl/detail/parsing/InitialState.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/parsing/VariableDeclaration.cpp' -> `./lib/pddl/src/pddl/detail/parsing/VariableDeclaration.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/parsing/Constant.cpp' -> `./lib/pddl/src/pddl/detail/parsing/Constant.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/parsing/Variable.cpp' -> `./lib/pddl/src/pddl/detail/parsing/Variable.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/parsing/PrimitiveType.cpp' -> `./lib/pddl/src/pddl/detail/parsing/PrimitiveType.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/parsing/PrimitiveTypeDeclaration.cpp' -> `./lib/pddl/src/pddl/detail/parsing/PrimitiveTypeDeclaration.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/parsing/ConstantDeclaration.cpp' -> `./lib/pddl/src/pddl/detail/parsing/ConstantDeclaration.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/parsing/Unsupported.cpp' -> `./lib/pddl/src/pddl/detail/parsing/Unsupported.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/parsing/Action.cpp' -> `./lib/pddl/src/pddl/detail/parsing/Action.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/parsing/Term.cpp' -> `./lib/pddl/src/pddl/detail/parsing/Term.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/parsing/Description.cpp' -> `./lib/pddl/src/pddl/detail/parsing/Description.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/parsing/Effect.cpp' -> `./lib/pddl/src/pddl/detail/parsing/Effect.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/parsing/Predicate.cpp' -> `./lib/pddl/src/pddl/detail/parsing/Predicate.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/parsing/AtomicFormula.cpp' -> `./lib/pddl/src/pddl/detail/parsing/AtomicFormula.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/parsing/PredicateDeclaration.cpp' -> `./lib/pddl/src/pddl/detail/parsing/PredicateDeclaration.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/parsing/Type.cpp' -> `./lib/pddl/src/pddl/detail/parsing/Type.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/parsing/Fact.cpp' -> `./lib/pddl/src/pddl/detail/parsing/Fact.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/parsing/Requirement.cpp' -> `./lib/pddl/src/pddl/detail/parsing/Requirement.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/normalization/Precondition.cpp' -> `./lib/pddl/src/pddl/detail/normalization/Precondition.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/normalization/Domain.cpp' -> `./lib/pddl/src/pddl/detail/normalization/Domain.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/normalization/Problem.cpp' -> `./lib/pddl/src/pddl/detail/normalization/Problem.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/normalization/InitialState.cpp' -> `./lib/pddl/src/pddl/detail/normalization/InitialState.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/normalization/ConditionalEffect.cpp' -> `./lib/pddl/src/pddl/detail/normalization/ConditionalEffect.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/normalization/Action.cpp' -> `./lib/pddl/src/pddl/detail/normalization/Action.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/normalization/Literal.cpp' -> `./lib/pddl/src/pddl/detail/normalization/Literal.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/normalization/Description.cpp' -> `./lib/pddl/src/pddl/detail/normalization/Description.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/normalization/Reduction.cpp' -> `./lib/pddl/src/pddl/detail/normalization/Reduction.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/normalization/Effect.cpp' -> `./lib/pddl/src/pddl/detail/normalization/Effect.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/normalization/AtomicFormula.cpp' -> `./lib/pddl/src/pddl/detail/normalization/AtomicFormula.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/src/pddl/detail/normalization/Fact.cpp' -> `./lib/pddl/src/pddl/detail/normalization/Fact.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/Variant.h' -> `./lib/pddl/include/pddl/Variant.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/Parse.h' -> `./lib/pddl/include/pddl/Parse.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/NormalizedASTForward.h' -> `./lib/pddl/include/pddl/NormalizedASTForward.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/Context.h' -> `./lib/pddl/include/pddl/Context.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/Tokenizer.h' -> `./lib/pddl/include/pddl/Tokenizer.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/NormalizedASTOutput.h' -> `./lib/pddl/include/pddl/NormalizedASTOutput.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/Mode.h' -> `./lib/pddl/include/pddl/Mode.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/ASTForward.h' -> `./lib/pddl/include/pddl/ASTForward.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/NormalizedAST.h' -> `./lib/pddl/include/pddl/NormalizedAST.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/ASTOutput.h' -> `./lib/pddl/include/pddl/ASTOutput.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/AST.h' -> `./lib/pddl/include/pddl/AST.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/Normalize.h' -> `./lib/pddl/include/pddl/Normalize.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/Exception.h' -> `./lib/pddl/include/pddl/Exception.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/Requirements.h' -> `./lib/pddl/include/pddl/detail/Requirements.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/SignatureMatching.h' -> `./lib/pddl/include/pddl/detail/SignatureMatching.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/ASTCopy.h' -> `./lib/pddl/include/pddl/detail/ASTCopy.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/VariableStack.h' -> `./lib/pddl/include/pddl/detail/VariableStack.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/OutputUtils.h' -> `./lib/pddl/include/pddl/detail/OutputUtils.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/ASTContext.h' -> `./lib/pddl/include/pddl/detail/ASTContext.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/parsing/Unsupported.h' -> `./lib/pddl/include/pddl/detail/parsing/Unsupported.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/parsing/Utils.h' -> `./lib/pddl/include/pddl/detail/parsing/Utils.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/parsing/Action.h' -> `./lib/pddl/include/pddl/detail/parsing/Action.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/parsing/Term.h' -> `./lib/pddl/include/pddl/detail/parsing/Term.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/parsing/Predicate.h' -> `./lib/pddl/include/pddl/detail/parsing/Predicate.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/parsing/AtomicFormula.h' -> `./lib/pddl/include/pddl/detail/parsing/AtomicFormula.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/parsing/Fact.h' -> `./lib/pddl/include/pddl/detail/parsing/Fact.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/parsing/Constant.h' -> `./lib/pddl/include/pddl/detail/parsing/Constant.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/parsing/PrimitiveTypeDeclaration.h' -> `./lib/pddl/include/pddl/detail/parsing/PrimitiveTypeDeclaration.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/parsing/Precondition.h' -> `./lib/pddl/include/pddl/detail/parsing/Precondition.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/parsing/InitialState.h' -> `./lib/pddl/include/pddl/detail/parsing/InitialState.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/parsing/PredicateDeclaration.h' -> `./lib/pddl/include/pddl/detail/parsing/PredicateDeclaration.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/parsing/Type.h' -> `./lib/pddl/include/pddl/detail/parsing/Type.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/parsing/Parser.h' -> `./lib/pddl/include/pddl/detail/parsing/Parser.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/parsing/Variable.h' -> `./lib/pddl/include/pddl/detail/parsing/Variable.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/parsing/Description.h' -> `./lib/pddl/include/pddl/detail/parsing/Description.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/parsing/PrimitiveType.h' -> `./lib/pddl/include/pddl/detail/parsing/PrimitiveType.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/parsing/Expressions.h' -> `./lib/pddl/include/pddl/detail/parsing/Expressions.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/parsing/ConstantDeclaration.h' -> `./lib/pddl/include/pddl/detail/parsing/ConstantDeclaration.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/parsing/Domain.h' -> `./lib/pddl/include/pddl/detail/parsing/Domain.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/parsing/Requirement.h' -> `./lib/pddl/include/pddl/detail/parsing/Requirement.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/parsing/VariableDeclaration.h' -> `./lib/pddl/include/pddl/detail/parsing/VariableDeclaration.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/parsing/Problem.h' -> `./lib/pddl/include/pddl/detail/parsing/Problem.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/parsing/Effect.h' -> `./lib/pddl/include/pddl/detail/parsing/Effect.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/normalization/NormalizationContext.h' -> `./lib/pddl/include/pddl/detail/normalization/NormalizationContext.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/normalization/Action.h' -> `./lib/pddl/include/pddl/detail/normalization/Action.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/normalization/AtomicFormula.h' -> `./lib/pddl/include/pddl/detail/normalization/AtomicFormula.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/normalization/Fact.h' -> `./lib/pddl/include/pddl/detail/normalization/Fact.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/normalization/Precondition.h' -> `./lib/pddl/include/pddl/detail/normalization/Precondition.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/normalization/CollectFreeVariables.h' -> `./lib/pddl/include/pddl/detail/normalization/CollectFreeVariables.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/normalization/InitialState.h' -> `./lib/pddl/include/pddl/detail/normalization/InitialState.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/normalization/Reduction.h' -> `./lib/pddl/include/pddl/detail/normalization/Reduction.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/normalization/Description.h' -> `./lib/pddl/include/pddl/detail/normalization/Description.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/normalization/Domain.h' -> `./lib/pddl/include/pddl/detail/normalization/Domain.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/normalization/Problem.h' -> `./lib/pddl/include/pddl/detail/normalization/Problem.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/normalization/Literal.h' -> `./lib/pddl/include/pddl/detail/normalization/Literal.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/normalization/ConditionalEffect.h' -> `./lib/pddl/include/pddl/detail/normalization/ConditionalEffect.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/include/pddl/detail/normalization/Effect.h' -> `./lib/pddl/include/pddl/detail/normalization/Effect.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/tests/TestParserSuccess.cpp' -> `./lib/pddl/tests/TestParserSuccess.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/tests/TestIssues.cpp' -> `./lib/pddl/tests/TestIssues.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/tests/TestSignatureMatching.cpp' -> `./lib/pddl/tests/TestSignatureMatching.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/tests/CMakeLists.txt' -> `./lib/pddl/tests/CMakeLists.txt' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/tests/TestNormalization.cpp' -> `./lib/pddl/tests/TestNormalization.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/tests/TestParserCorrectness.cpp' -> `./lib/pddl/tests/TestParserCorrectness.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/tests/main.cpp' -> `./lib/pddl/tests/main.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/pddl/tests/TestParserBasics.cpp' -> `./lib/pddl/tests/TestParserBasics.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/colorlog/CMakeLists.txt' -> `./lib/colorlog/CMakeLists.txt' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/colorlog/src/CMakeLists.txt' -> `./lib/colorlog/src/CMakeLists.txt' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/colorlog/src/colorlog/Logger.cpp' -> `./lib/colorlog/src/colorlog/Logger.cpp' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/colorlog/include/colorlog/Formatting.h' -> `./lib/colorlog/include/colorlog/Formatting.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/colorlog/include/colorlog/ColorStream.h' -> `./lib/colorlog/include/colorlog/ColorStream.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/colorlog/include/colorlog/Logger.h' -> `./lib/colorlog/include/colorlog/Logger.h' `/gnu/store/6b36cih4820q39hfq5s785nismza1j9p-plasp-3.1.1-checkout/lib/colorlog/include/colorlog/Priority.h' -> `./lib/colorlog/include/colorlog/Priority.h' phase `unpack' succeeded after 0.1 seconds starting phase `patch-usr-bin-file' phase `patch-usr-bin-file' succeeded after 0.0 seconds starting phase `patch-source-shebangs' phase `patch-source-shebangs' succeeded after 0.1 seconds starting phase `configure' source directory: "/tmp/guix-build-plasp-3.1.1.drv-0/source" (relative from build: "../source") build directory: "/tmp/guix-build-plasp-3.1.1.drv-0/build" running 'cmake' with arguments ("../source" "-DCMAKE_BUILD_TYPE=RelWithDebInfo" "-DCMAKE_INSTALL_PREFIX=/gnu/store/zdjpb24iddk83g6pbsxf8n96mzgvh7fb-plasp-3.1.1" "-DCMAKE_INSTALL_LIBDIR=lib" "-DCMAKE_INSTALL_RPATH_USE_LINK_PATH=TRUE" "-DCMAKE_INSTALL_RPATH=/gnu/store/zdjpb24iddk83g6pbsxf8n96mzgvh7fb-plasp-3.1.1/lib" "-DCMAKE_VERBOSE_MAKEFILE=ON") CMake Deprecation Warning at CMakeLists.txt:1 (cmake_minimum_required): Compatibility with CMake < 2.8.12 will be removed from a future version of CMake. Update the VERSION argument value or use a ... suffix to tell CMake that the project does not need compatibility with older versions. -- The CXX compiler identification is GNU 11.4.0 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done CMake Deprecation Warning at lib/tokenize/CMakeLists.txt:1 (cmake_minimum_required): Compatibility with CMake < 2.8.12 will be removed from a future version of CMake. Update the VERSION argument value or use a ... suffix to tell CMake that the project does not need compatibility with older versions. -- The C compiler identification is GNU 11.4.0 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/gcc - skipped -- Detecting C compile features -- Detecting C compile features - done CMake Deprecation Warning at lib/colorlog/CMakeLists.txt:1 (cmake_minimum_required): Compatibility with CMake < 2.8.12 will be removed from a future version of CMake. Update the VERSION argument value or use a ... suffix to tell CMake that the project does not need compatibility with older versions. CMake Deprecation Warning at lib/pddl/CMakeLists.txt:1 (cmake_minimum_required): Compatibility with CMake < 2.8.12 will be removed from a future version of CMake. Update the VERSION argument value or use a ... suffix to tell CMake that the project does not need compatibility with older versions. -- Configuring done -- Generating done CMake Warning: Manually-specified variables were not used by the project: CMAKE_INSTALL_LIBDIR -- Build files have been written to: /tmp/guix-build-plasp-3.1.1.drv-0/build phase `configure' succeeded after 1.3 seconds starting phase `patch-generated-file-shebangs' phase `patch-generated-file-shebangs' succeeded after 0.0 seconds starting phase `build' /gnu/store/95jkrnirsbb25mhn8b8jshrrdp329c7q-cmake-minimal-3.24.2/bin/cmake -S/tmp/guix-build-plasp-3.1.1.drv-0/source -B/tmp/guix-build-plasp-3.1.1.drv-0/build --check-build-system CMakeFiles/Makefile.cmake 0 /gnu/store/95jkrnirsbb25mhn8b8jshrrdp329c7q-cmake-minimal-3.24.2/bin/cmake -E cmake_progress_start /tmp/guix-build-plasp-3.1.1.drv-0/build/CMakeFiles /tmp/guix-build-plasp-3.1.1.drv-0/build//CMakeFiles/progress.marks make -f CMakeFiles/Makefile2 all make[1]: Entering directory '/tmp/guix-build-plasp-3.1.1.drv-0/build' make -f lib/colorlog/src/CMakeFiles/colorlog.dir/build.make lib/colorlog/src/CMakeFiles/colorlog.dir/depend make -f lib/pddl/src/CMakeFiles/pddl.dir/build.make lib/pddl/src/CMakeFiles/pddl.dir/depend make[2]: Entering directory '/tmp/guix-build-plasp-3.1.1.drv-0/build' cd /tmp/guix-build-plasp-3.1.1.drv-0/build && /gnu/store/95jkrnirsbb25mhn8b8jshrrdp329c7q-cmake-minimal-3.24.2/bin/cmake -E cmake_depends "Unix Makefiles" /tmp/guix-build-plasp-3.1.1.drv-0/source /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/colorlog/src /tmp/guix-build-plasp-3.1.1.drv-0/build /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/colorlog/src /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/colorlog/src/CMakeFiles/colorlog.dir/DependInfo.cmake --color= make[2]: Entering directory '/tmp/guix-build-plasp-3.1.1.drv-0/build' cd /tmp/guix-build-plasp-3.1.1.drv-0/build && /gnu/store/95jkrnirsbb25mhn8b8jshrrdp329c7q-cmake-minimal-3.24.2/bin/cmake -E cmake_depends "Unix Makefiles" /tmp/guix-build-plasp-3.1.1.drv-0/source /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src /tmp/guix-build-plasp-3.1.1.drv-0/build /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src/CMakeFiles/pddl.dir/DependInfo.cmake --color= make[2]: Leaving directory '/tmp/guix-build-plasp-3.1.1.drv-0/build' make -f lib/colorlog/src/CMakeFiles/colorlog.dir/build.make lib/colorlog/src/CMakeFiles/colorlog.dir/build make[2]: Leaving directory '/tmp/guix-build-plasp-3.1.1.drv-0/build' make -f lib/pddl/src/CMakeFiles/pddl.dir/build.make lib/pddl/src/CMakeFiles/pddl.dir/build make[2]: Entering directory '/tmp/guix-build-plasp-3.1.1.drv-0/build' make[2]: Entering directory '/tmp/guix-build-plasp-3.1.1.drv-0/build' [ 1%] Building CXX object lib/colorlog/src/CMakeFiles/colorlog.dir/colorlog/Logger.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/colorlog/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/colorlog/../../lib/tokenize/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/colorlog/src/CMakeFiles/colorlog.dir/colorlog/Logger.cpp.o -MF CMakeFiles/colorlog.dir/colorlog/Logger.cpp.o.d -o CMakeFiles/colorlog.dir/colorlog/Logger.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/colorlog/src/colorlog/Logger.cpp [ 4%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/SignatureMatching.cpp.o [ 4%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/Parse.cpp.o [ 7%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/Requirements.cpp.o [ 7%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/VariableStack.cpp.o [ 9%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/Action.cpp.o [ 10%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/Constant.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/SignatureMatching.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/SignatureMatching.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/SignatureMatching.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/SignatureMatching.cpp [ 13%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/ConstantDeclaration.cpp.o [ 13%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/AtomicFormula.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/Parse.cpp.o -MF CMakeFiles/pddl.dir/pddl/Parse.cpp.o.d -o CMakeFiles/pddl.dir/pddl/Parse.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/Parse.cpp [ 15%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/Effect.cpp.o [ 16%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/Description.cpp.o [ 18%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/Domain.cpp.o [ 19%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/InitialState.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/Requirements.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/Requirements.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/Requirements.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/Requirements.cpp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/VariableStack.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/VariableStack.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/VariableStack.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/VariableStack.cpp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/Action.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/parsing/Action.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/parsing/Action.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/parsing/Action.cpp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/AtomicFormula.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/parsing/AtomicFormula.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/parsing/AtomicFormula.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/parsing/AtomicFormula.cpp [ 21%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/Fact.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/ConstantDeclaration.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/parsing/ConstantDeclaration.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/parsing/ConstantDeclaration.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/parsing/ConstantDeclaration.cpp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/Description.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/parsing/Description.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/parsing/Description.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/parsing/Description.cpp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/Domain.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/parsing/Domain.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/parsing/Domain.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/parsing/Domain.cpp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/Constant.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/parsing/Constant.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/parsing/Constant.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/parsing/Constant.cpp [ 22%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/Predicate.cpp.o [ 24%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/Precondition.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/Effect.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/parsing/Effect.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/parsing/Effect.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/parsing/Effect.cpp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/Fact.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/parsing/Fact.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/parsing/Fact.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/parsing/Fact.cpp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/InitialState.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/parsing/InitialState.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/parsing/InitialState.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/parsing/InitialState.cpp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/Precondition.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/parsing/Precondition.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/parsing/Precondition.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/parsing/Precondition.cpp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/Predicate.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/parsing/Predicate.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/parsing/Predicate.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/parsing/Predicate.cpp [ 25%] Linking CXX static library ../../libcolorlog.a cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/colorlog/src && /gnu/store/95jkrnirsbb25mhn8b8jshrrdp329c7q-cmake-minimal-3.24.2/bin/cmake -P CMakeFiles/colorlog.dir/cmake_clean_target.cmake cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/colorlog/src && /gnu/store/95jkrnirsbb25mhn8b8jshrrdp329c7q-cmake-minimal-3.24.2/bin/cmake -E cmake_link_script CMakeFiles/colorlog.dir/link.txt --verbose=1 /gnu/store/pqai4n95zn5wdw430gslb00sb967jdg8-binutils-2.41/bin/ar qc ../../libcolorlog.a CMakeFiles/colorlog.dir/colorlog/Logger.cpp.o /gnu/store/pqai4n95zn5wdw430gslb00sb967jdg8-binutils-2.41/bin/ranlib ../../libcolorlog.a make[2]: Leaving directory '/tmp/guix-build-plasp-3.1.1.drv-0/build' [ 25%] Built target colorlog [ 27%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/PredicateDeclaration.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/PredicateDeclaration.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/parsing/PredicateDeclaration.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/parsing/PredicateDeclaration.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/parsing/PredicateDeclaration.cpp [ 28%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/PrimitiveType.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/PrimitiveType.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/parsing/PrimitiveType.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/parsing/PrimitiveType.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/parsing/PrimitiveType.cpp [ 30%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/PrimitiveTypeDeclaration.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/PrimitiveTypeDeclaration.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/parsing/PrimitiveTypeDeclaration.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/parsing/PrimitiveTypeDeclaration.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/parsing/PrimitiveTypeDeclaration.cpp [ 31%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/Problem.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/Problem.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/parsing/Problem.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/parsing/Problem.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/parsing/Problem.cpp [ 33%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/Requirement.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/Requirement.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/parsing/Requirement.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/parsing/Requirement.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/parsing/Requirement.cpp [ 34%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/Term.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/Term.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/parsing/Term.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/parsing/Term.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/parsing/Term.cpp [ 36%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/Type.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/Type.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/parsing/Type.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/parsing/Type.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/parsing/Type.cpp [ 37%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/Unsupported.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/Unsupported.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/parsing/Unsupported.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/parsing/Unsupported.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/parsing/Unsupported.cpp [ 39%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/VariableDeclaration.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/VariableDeclaration.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/parsing/VariableDeclaration.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/parsing/VariableDeclaration.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/parsing/VariableDeclaration.cpp [ 40%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/Variable.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/parsing/Variable.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/parsing/Variable.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/parsing/Variable.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/parsing/Variable.cpp [ 42%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/normalization/Action.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/normalization/Action.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/normalization/Action.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/normalization/Action.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/normalization/Action.cpp [ 43%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/normalization/AtomicFormula.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/normalization/AtomicFormula.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/normalization/AtomicFormula.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/normalization/AtomicFormula.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/normalization/AtomicFormula.cpp [ 45%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/normalization/ConditionalEffect.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/normalization/ConditionalEffect.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/normalization/ConditionalEffect.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/normalization/ConditionalEffect.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/normalization/ConditionalEffect.cpp [ 46%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/normalization/Description.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/normalization/Description.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/normalization/Description.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/normalization/Description.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/normalization/Description.cpp [ 48%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/normalization/Domain.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/normalization/Domain.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/normalization/Domain.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/normalization/Domain.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/normalization/Domain.cpp [ 50%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/normalization/Effect.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/normalization/Effect.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/normalization/Effect.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/normalization/Effect.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/normalization/Effect.cpp [ 51%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/normalization/Fact.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/normalization/Fact.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/normalization/Fact.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/normalization/Fact.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/normalization/Fact.cpp [ 53%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/normalization/InitialState.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/normalization/InitialState.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/normalization/InitialState.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/normalization/InitialState.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/normalization/InitialState.cpp [ 54%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/normalization/Literal.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/normalization/Literal.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/normalization/Literal.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/normalization/Literal.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/normalization/Literal.cpp [ 56%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/normalization/Precondition.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/normalization/Precondition.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/normalization/Precondition.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/normalization/Precondition.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/normalization/Precondition.cpp [ 57%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/normalization/Problem.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/normalization/Problem.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/normalization/Problem.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/normalization/Problem.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/normalization/Problem.cpp [ 59%] Building CXX object lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/normalization/Reduction.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/../../lib/variant/include -Wall -Wextra -Wpedantic -Werror -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++14 -MD -MT lib/pddl/src/CMakeFiles/pddl.dir/pddl/detail/normalization/Reduction.cpp.o -MF CMakeFiles/pddl.dir/pddl/detail/normalization/Reduction.cpp.o.d -o CMakeFiles/pddl.dir/pddl/detail/normalization/Reduction.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/src/pddl/detail/normalization/Reduction.cpp [ 60%] Linking CXX static library ../../libpddl.a cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/95jkrnirsbb25mhn8b8jshrrdp329c7q-cmake-minimal-3.24.2/bin/cmake -P CMakeFiles/pddl.dir/cmake_clean_target.cmake cd /tmp/guix-build-plasp-3.1.1.drv-0/build/lib/pddl/src && /gnu/store/95jkrnirsbb25mhn8b8jshrrdp329c7q-cmake-minimal-3.24.2/bin/cmake -E cmake_link_script CMakeFiles/pddl.dir/link.txt --verbose=1 /gnu/store/pqai4n95zn5wdw430gslb00sb967jdg8-binutils-2.41/bin/ar qc ../../libpddl.a CMakeFiles/pddl.dir/pddl/Parse.cpp.o CMakeFiles/pddl.dir/pddl/detail/Requirements.cpp.o CMakeFiles/pddl.dir/pddl/detail/SignatureMatching.cpp.o CMakeFiles/pddl.dir/pddl/detail/VariableStack.cpp.o CMakeFiles/pddl.dir/pddl/detail/parsing/Action.cpp.o CMakeFiles/pddl.dir/pddl/detail/parsing/AtomicFormula.cpp.o CMakeFiles/pddl.dir/pddl/detail/parsing/Constant.cpp.o CMakeFiles/pddl.dir/pddl/detail/parsing/ConstantDeclaration.cpp.o CMakeFiles/pddl.dir/pddl/detail/parsing/Description.cpp.o CMakeFiles/pddl.dir/pddl/detail/parsing/Domain.cpp.o CMakeFiles/pddl.dir/pddl/detail/parsing/Effect.cpp.o CMakeFiles/pddl.dir/pddl/detail/parsing/Fact.cpp.o CMakeFiles/pddl.dir/pddl/detail/parsing/InitialState.cpp.o CMakeFiles/pddl.dir/pddl/detail/parsing/Precondition.cpp.o CMakeFiles/pddl.dir/pddl/detail/parsing/Predicate.cpp.o CMakeFiles/pddl.dir/pddl/detail/parsing/PredicateDeclaration.cpp.o CMakeFiles/pddl.dir/pddl/detail/parsing/PrimitiveType.cpp.o CMakeFiles/pddl.dir/pddl/detail/parsing/PrimitiveTypeDeclaration.cpp.o CMakeFiles/pddl.dir/pddl/detail/parsing/Problem.cpp.o CMakeFiles/pddl.dir/pddl/detail/parsing/Requirement.cpp.o CMakeFiles/pddl.dir/pddl/detail/parsing/Term.cpp.o CMakeFiles/pddl.dir/pddl/detail/parsing/Type.cpp.o CMakeFiles/pddl.dir/pddl/detail/parsing/Unsupported.cpp.o CMakeFiles/pddl.dir/pddl/detail/parsing/Variable.cpp.o CMakeFiles/pddl.dir/pddl/detail/parsing/VariableDeclaration.cpp.o CMakeFiles/pddl.dir/pddl/detail/normalization/Action.cpp.o CMakeFiles/pddl.dir/pddl/detail/normalization/AtomicFormula.cpp.o CMakeFiles/pddl.dir/pddl/detail/normalization/ConditionalEffect.cpp.o CMakeFiles/pddl.dir/pddl/detail/normalization/Description.cpp.o CMakeFiles/pddl.dir/pddl/detail/normalization/Domain.cpp.o CMakeFiles/pddl.dir/pddl/detail/normalization/Effect.cpp.o CMakeFiles/pddl.dir/pddl/detail/normalization/Fact.cpp.o CMakeFiles/pddl.dir/pddl/detail/normalization/InitialState.cpp.o CMakeFiles/pddl.dir/pddl/detail/normalization/Literal.cpp.o CMakeFiles/pddl.dir/pddl/detail/normalization/Precondition.cpp.o CMakeFiles/pddl.dir/pddl/detail/normalization/Problem.cpp.o CMakeFiles/pddl.dir/pddl/detail/normalization/Reduction.cpp.o /gnu/store/pqai4n95zn5wdw430gslb00sb967jdg8-binutils-2.41/bin/ranlib ../../libpddl.a make[2]: Leaving directory '/tmp/guix-build-plasp-3.1.1.drv-0/build' [ 60%] Built target pddl make -f src/CMakeFiles/plasp.dir/build.make src/CMakeFiles/plasp.dir/depend make[2]: Entering directory '/tmp/guix-build-plasp-3.1.1.drv-0/build' cd /tmp/guix-build-plasp-3.1.1.drv-0/build && /gnu/store/95jkrnirsbb25mhn8b8jshrrdp329c7q-cmake-minimal-3.24.2/bin/cmake -E cmake_depends "Unix Makefiles" /tmp/guix-build-plasp-3.1.1.drv-0/source /tmp/guix-build-plasp-3.1.1.drv-0/source/src /tmp/guix-build-plasp-3.1.1.drv-0/build /tmp/guix-build-plasp-3.1.1.drv-0/build/src /tmp/guix-build-plasp-3.1.1.drv-0/build/src/CMakeFiles/plasp.dir/DependInfo.cmake --color= make[2]: Leaving directory '/tmp/guix-build-plasp-3.1.1.drv-0/build' make -f src/CMakeFiles/plasp.dir/build.make src/CMakeFiles/plasp.dir/build make[2]: Entering directory '/tmp/guix-build-plasp-3.1.1.drv-0/build' [ 65%] Building CXX object src/CMakeFiles/plasp.dir/plasp/Language.cpp.o [ 65%] Building CXX object src/CMakeFiles/plasp.dir/plasp/pddl/TranslatorASP.cpp.o [ 65%] Building CXX object src/CMakeFiles/plasp.dir/plasp/sas/AssignedVariable.cpp.o [ 66%] Building CXX object src/CMakeFiles/plasp.dir/plasp/sas/AxiomRule.cpp.o [ 68%] Building CXX object src/CMakeFiles/plasp.dir/plasp/sas/Description.cpp.o [ 69%] Building CXX object src/CMakeFiles/plasp.dir/plasp/sas/Debugging.cpp.o [ 71%] Building CXX object src/CMakeFiles/plasp.dir/plasp/sas/Effect.cpp.o [ 72%] Building CXX object src/CMakeFiles/plasp.dir/plasp/sas/Goal.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/variant/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++17 -MD -MT src/CMakeFiles/plasp.dir/plasp/Language.cpp.o -MF CMakeFiles/plasp.dir/plasp/Language.cpp.o.d -o CMakeFiles/plasp.dir/plasp/Language.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/src/plasp/Language.cpp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/variant/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++17 -MD -MT src/CMakeFiles/plasp.dir/plasp/pddl/TranslatorASP.cpp.o -MF CMakeFiles/plasp.dir/plasp/pddl/TranslatorASP.cpp.o.d -o CMakeFiles/plasp.dir/plasp/pddl/TranslatorASP.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/src/plasp/pddl/TranslatorASP.cpp [ 74%] Building CXX object src/CMakeFiles/plasp.dir/plasp/sas/MutexGroup.cpp.o [ 75%] Building CXX object src/CMakeFiles/plasp.dir/plasp/sas/InitialState.cpp.o [ 78%] Building CXX object src/CMakeFiles/plasp.dir/plasp/sas/TranslatorASP.cpp.o [ 78%] Building CXX object src/CMakeFiles/plasp.dir/plasp/sas/Operator.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/variant/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++17 -MD -MT src/CMakeFiles/plasp.dir/plasp/sas/AssignedVariable.cpp.o -MF CMakeFiles/plasp.dir/plasp/sas/AssignedVariable.cpp.o.d -o CMakeFiles/plasp.dir/plasp/sas/AssignedVariable.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/src/plasp/sas/AssignedVariable.cpp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/variant/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++17 -MD -MT src/CMakeFiles/plasp.dir/plasp/sas/AxiomRule.cpp.o -MF CMakeFiles/plasp.dir/plasp/sas/AxiomRule.cpp.o.d -o CMakeFiles/plasp.dir/plasp/sas/AxiomRule.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/src/plasp/sas/AxiomRule.cpp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/variant/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++17 -MD -MT src/CMakeFiles/plasp.dir/plasp/sas/Debugging.cpp.o -MF CMakeFiles/plasp.dir/plasp/sas/Debugging.cpp.o.d -o CMakeFiles/plasp.dir/plasp/sas/Debugging.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/src/plasp/sas/Debugging.cpp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/variant/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++17 -MD -MT src/CMakeFiles/plasp.dir/plasp/sas/Description.cpp.o -MF CMakeFiles/plasp.dir/plasp/sas/Description.cpp.o.d -o CMakeFiles/plasp.dir/plasp/sas/Description.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/src/plasp/sas/Description.cpp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/variant/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++17 -MD -MT src/CMakeFiles/plasp.dir/plasp/sas/Effect.cpp.o -MF CMakeFiles/plasp.dir/plasp/sas/Effect.cpp.o.d -o CMakeFiles/plasp.dir/plasp/sas/Effect.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/src/plasp/sas/Effect.cpp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/variant/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++17 -MD -MT src/CMakeFiles/plasp.dir/plasp/sas/Goal.cpp.o -MF CMakeFiles/plasp.dir/plasp/sas/Goal.cpp.o.d -o CMakeFiles/plasp.dir/plasp/sas/Goal.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/src/plasp/sas/Goal.cpp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/variant/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++17 -MD -MT src/CMakeFiles/plasp.dir/plasp/sas/InitialState.cpp.o -MF CMakeFiles/plasp.dir/plasp/sas/InitialState.cpp.o.d -o CMakeFiles/plasp.dir/plasp/sas/InitialState.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/src/plasp/sas/InitialState.cpp [ 81%] Building CXX object src/CMakeFiles/plasp.dir/plasp/sas/VariableTransition.cpp.o [ 81%] Building CXX object src/CMakeFiles/plasp.dir/plasp/sas/Variable.cpp.o [ 83%] Building CXX object src/CMakeFiles/plasp.dir/plasp/sas/Value.cpp.o [ 84%] Building CXX object src/CMakeFiles/plasp.dir/plasp/sas/Predicate.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/variant/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++17 -MD -MT src/CMakeFiles/plasp.dir/plasp/sas/MutexGroup.cpp.o -MF CMakeFiles/plasp.dir/plasp/sas/MutexGroup.cpp.o.d -o CMakeFiles/plasp.dir/plasp/sas/MutexGroup.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/src/plasp/sas/MutexGroup.cpp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/variant/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++17 -MD -MT src/CMakeFiles/plasp.dir/plasp/sas/Operator.cpp.o -MF CMakeFiles/plasp.dir/plasp/sas/Operator.cpp.o.d -o CMakeFiles/plasp.dir/plasp/sas/Operator.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/src/plasp/sas/Operator.cpp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/variant/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++17 -MD -MT src/CMakeFiles/plasp.dir/plasp/sas/Predicate.cpp.o -MF CMakeFiles/plasp.dir/plasp/sas/Predicate.cpp.o.d -o CMakeFiles/plasp.dir/plasp/sas/Predicate.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/src/plasp/sas/Predicate.cpp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/variant/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++17 -MD -MT src/CMakeFiles/plasp.dir/plasp/sas/TranslatorASP.cpp.o -MF CMakeFiles/plasp.dir/plasp/sas/TranslatorASP.cpp.o.d -o CMakeFiles/plasp.dir/plasp/sas/TranslatorASP.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/src/plasp/sas/TranslatorASP.cpp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/variant/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++17 -MD -MT src/CMakeFiles/plasp.dir/plasp/sas/Value.cpp.o -MF CMakeFiles/plasp.dir/plasp/sas/Value.cpp.o.d -o CMakeFiles/plasp.dir/plasp/sas/Value.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/src/plasp/sas/Value.cpp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/variant/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++17 -MD -MT src/CMakeFiles/plasp.dir/plasp/sas/Variable.cpp.o -MF CMakeFiles/plasp.dir/plasp/sas/Variable.cpp.o.d -o CMakeFiles/plasp.dir/plasp/sas/Variable.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/src/plasp/sas/Variable.cpp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/variant/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++17 -MD -MT src/CMakeFiles/plasp.dir/plasp/sas/VariableTransition.cpp.o -MF CMakeFiles/plasp.dir/plasp/sas/VariableTransition.cpp.o.d -o CMakeFiles/plasp.dir/plasp/sas/VariableTransition.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/src/plasp/sas/VariableTransition.cpp [ 86%] Linking CXX static library ../lib/libplasp.a cd /tmp/guix-build-plasp-3.1.1.drv-0/build/src && /gnu/store/95jkrnirsbb25mhn8b8jshrrdp329c7q-cmake-minimal-3.24.2/bin/cmake -P CMakeFiles/plasp.dir/cmake_clean_target.cmake cd /tmp/guix-build-plasp-3.1.1.drv-0/build/src && /gnu/store/95jkrnirsbb25mhn8b8jshrrdp329c7q-cmake-minimal-3.24.2/bin/cmake -E cmake_link_script CMakeFiles/plasp.dir/link.txt --verbose=1 /gnu/store/pqai4n95zn5wdw430gslb00sb967jdg8-binutils-2.41/bin/ar qc ../lib/libplasp.a CMakeFiles/plasp.dir/plasp/Language.cpp.o CMakeFiles/plasp.dir/plasp/pddl/TranslatorASP.cpp.o CMakeFiles/plasp.dir/plasp/sas/AssignedVariable.cpp.o CMakeFiles/plasp.dir/plasp/sas/AxiomRule.cpp.o CMakeFiles/plasp.dir/plasp/sas/Debugging.cpp.o CMakeFiles/plasp.dir/plasp/sas/Description.cpp.o CMakeFiles/plasp.dir/plasp/sas/Effect.cpp.o CMakeFiles/plasp.dir/plasp/sas/Goal.cpp.o CMakeFiles/plasp.dir/plasp/sas/InitialState.cpp.o CMakeFiles/plasp.dir/plasp/sas/MutexGroup.cpp.o CMakeFiles/plasp.dir/plasp/sas/Operator.cpp.o CMakeFiles/plasp.dir/plasp/sas/Predicate.cpp.o CMakeFiles/plasp.dir/plasp/sas/TranslatorASP.cpp.o CMakeFiles/plasp.dir/plasp/sas/Value.cpp.o CMakeFiles/plasp.dir/plasp/sas/Variable.cpp.o CMakeFiles/plasp.dir/plasp/sas/VariableTransition.cpp.o /gnu/store/pqai4n95zn5wdw430gslb00sb967jdg8-binutils-2.41/bin/ranlib ../lib/libplasp.a make[2]: Leaving directory '/tmp/guix-build-plasp-3.1.1.drv-0/build' [ 86%] Built target plasp make -f app/src/CMakeFiles/plasp-app.dir/build.make app/src/CMakeFiles/plasp-app.dir/depend make[2]: Entering directory '/tmp/guix-build-plasp-3.1.1.drv-0/build' cd /tmp/guix-build-plasp-3.1.1.drv-0/build && /gnu/store/95jkrnirsbb25mhn8b8jshrrdp329c7q-cmake-minimal-3.24.2/bin/cmake -E cmake_depends "Unix Makefiles" /tmp/guix-build-plasp-3.1.1.drv-0/source /tmp/guix-build-plasp-3.1.1.drv-0/source/app/src /tmp/guix-build-plasp-3.1.1.drv-0/build /tmp/guix-build-plasp-3.1.1.drv-0/build/app/src /tmp/guix-build-plasp-3.1.1.drv-0/build/app/src/CMakeFiles/plasp-app.dir/DependInfo.cmake --color= make[2]: Leaving directory '/tmp/guix-build-plasp-3.1.1.drv-0/build' make -f app/src/CMakeFiles/plasp-app.dir/build.make app/src/CMakeFiles/plasp-app.dir/build make[2]: Entering directory '/tmp/guix-build-plasp-3.1.1.drv-0/build' [ 90%] Building CXX object app/src/CMakeFiles/plasp-app.dir/plasp-app/OptionGroups.cpp.o [ 90%] Building CXX object app/src/CMakeFiles/plasp-app.dir/plasp-app/main.cpp.o [ 90%] Building CXX object app/src/CMakeFiles/plasp-app.dir/plasp-app/commands/CommandBeautify.cpp.o [ 92%] Building CXX object app/src/CMakeFiles/plasp-app.dir/plasp-app/commands/CommandCheckSyntax.cpp.o [ 93%] Building CXX object app/src/CMakeFiles/plasp-app.dir/plasp-app/commands/CommandHelp.cpp.o [ 95%] Building CXX object app/src/CMakeFiles/plasp-app.dir/plasp-app/commands/CommandNormalize.cpp.o [ 96%] Building CXX object app/src/CMakeFiles/plasp-app.dir/plasp-app/commands/CommandVersion.cpp.o [ 98%] Building CXX object app/src/CMakeFiles/plasp-app.dir/plasp-app/commands/CommandTranslate.cpp.o cd /tmp/guix-build-plasp-3.1.1.drv-0/build/app/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/variant/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/cxxopts/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/app/include -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++17 -MD -MT app/src/CMakeFiles/plasp-app.dir/plasp-app/main.cpp.o -MF CMakeFiles/plasp-app.dir/plasp-app/main.cpp.o.d -o CMakeFiles/plasp-app.dir/plasp-app/main.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/app/src/plasp-app/main.cpp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/app/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/variant/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/cxxopts/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/app/include -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++17 -MD -MT app/src/CMakeFiles/plasp-app.dir/plasp-app/OptionGroups.cpp.o -MF CMakeFiles/plasp-app.dir/plasp-app/OptionGroups.cpp.o.d -o CMakeFiles/plasp-app.dir/plasp-app/OptionGroups.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/app/src/plasp-app/OptionGroups.cpp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/app/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/variant/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/cxxopts/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/app/include -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++17 -MD -MT app/src/CMakeFiles/plasp-app.dir/plasp-app/commands/CommandBeautify.cpp.o -MF CMakeFiles/plasp-app.dir/plasp-app/commands/CommandBeautify.cpp.o.d -o CMakeFiles/plasp-app.dir/plasp-app/commands/CommandBeautify.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/app/src/plasp-app/commands/CommandBeautify.cpp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/app/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/variant/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/cxxopts/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/app/include -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++17 -MD -MT app/src/CMakeFiles/plasp-app.dir/plasp-app/commands/CommandCheckSyntax.cpp.o -MF CMakeFiles/plasp-app.dir/plasp-app/commands/CommandCheckSyntax.cpp.o.d -o CMakeFiles/plasp-app.dir/plasp-app/commands/CommandCheckSyntax.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/app/src/plasp-app/commands/CommandCheckSyntax.cpp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/app/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/variant/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/cxxopts/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/app/include -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++17 -MD -MT app/src/CMakeFiles/plasp-app.dir/plasp-app/commands/CommandHelp.cpp.o -MF CMakeFiles/plasp-app.dir/plasp-app/commands/CommandHelp.cpp.o.d -o CMakeFiles/plasp-app.dir/plasp-app/commands/CommandHelp.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/app/src/plasp-app/commands/CommandHelp.cpp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/app/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/variant/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/cxxopts/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/app/include -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++17 -MD -MT app/src/CMakeFiles/plasp-app.dir/plasp-app/commands/CommandNormalize.cpp.o -MF CMakeFiles/plasp-app.dir/plasp-app/commands/CommandNormalize.cpp.o.d -o CMakeFiles/plasp-app.dir/plasp-app/commands/CommandNormalize.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/app/src/plasp-app/commands/CommandNormalize.cpp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/app/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/variant/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/cxxopts/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/app/include -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++17 -MD -MT app/src/CMakeFiles/plasp-app.dir/plasp-app/commands/CommandVersion.cpp.o -MF CMakeFiles/plasp-app.dir/plasp-app/commands/CommandVersion.cpp.o.d -o CMakeFiles/plasp-app.dir/plasp-app/commands/CommandVersion.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/app/src/plasp-app/commands/CommandVersion.cpp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/app/src && /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -I/tmp/guix-build-plasp-3.1.1.drv-0/source/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/tokenize/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/colorlog/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/variant/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/pddl/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/lib/cxxopts/include -I/tmp/guix-build-plasp-3.1.1.drv-0/source/app/include -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -std=c++17 -MD -MT app/src/CMakeFiles/plasp-app.dir/plasp-app/commands/CommandTranslate.cpp.o -MF CMakeFiles/plasp-app.dir/plasp-app/commands/CommandTranslate.cpp.o.d -o CMakeFiles/plasp-app.dir/plasp-app/commands/CommandTranslate.cpp.o -c /tmp/guix-build-plasp-3.1.1.drv-0/source/app/src/plasp-app/commands/CommandTranslate.cpp [100%] Linking CXX executable ../../bin/plasp cd /tmp/guix-build-plasp-3.1.1.drv-0/build/app/src && /gnu/store/95jkrnirsbb25mhn8b8jshrrdp329c7q-cmake-minimal-3.24.2/bin/cmake -E cmake_link_script CMakeFiles/plasp-app.dir/link.txt --verbose=1 /gnu/store/zcvhj876402zaz3cd2j6s2k4y4fnzdf7-gcc-11.4.0/bin/c++ -Wall -Wextra -Wpedantic -Werror -O2 -g -DNDEBUG -rdynamic "CMakeFiles/plasp-app.dir/plasp-app/OptionGroups.cpp.o" "CMakeFiles/plasp-app.dir/plasp-app/main.cpp.o" "CMakeFiles/plasp-app.dir/plasp-app/commands/CommandBeautify.cpp.o" "CMakeFiles/plasp-app.dir/plasp-app/commands/CommandCheckSyntax.cpp.o" "CMakeFiles/plasp-app.dir/plasp-app/commands/CommandHelp.cpp.o" "CMakeFiles/plasp-app.dir/plasp-app/commands/CommandNormalize.cpp.o" "CMakeFiles/plasp-app.dir/plasp-app/commands/CommandTranslate.cpp.o" "CMakeFiles/plasp-app.dir/plasp-app/commands/CommandVersion.cpp.o" -o ../../bin/plasp -lstdc++fs ../../lib/libplasp.a ../../lib/libcolorlog.a ../../lib/libpddl.a -lpthread make[2]: Leaving directory '/tmp/guix-build-plasp-3.1.1.drv-0/build' [100%] Built target plasp-app make[1]: Leaving directory '/tmp/guix-build-plasp-3.1.1.drv-0/build' /gnu/store/95jkrnirsbb25mhn8b8jshrrdp329c7q-cmake-minimal-3.24.2/bin/cmake -E cmake_progress_start /tmp/guix-build-plasp-3.1.1.drv-0/build/CMakeFiles 0 phase `build' succeeded after 76.2 seconds starting phase `check' test suite not run phase `check' succeeded after 0.0 seconds starting phase `install' `bin/plasp' -> `/gnu/store/zdjpb24iddk83g6pbsxf8n96mzgvh7fb-plasp-3.1.1/bin/plasp' phase `install' succeeded after 0.0 seconds starting phase `patch-shebangs' phase `patch-shebangs' succeeded after 0.0 seconds starting phase `strip' stripping binaries in "/gnu/store/zdjpb24iddk83g6pbsxf8n96mzgvh7fb-plasp-3.1.1/bin" with "strip" and flags ("--strip-unneeded" "--enable-deterministic-archives") phase `strip' succeeded after 0.0 seconds starting phase `validate-runpath' validating RUNPATH of 1 binaries in "/gnu/store/zdjpb24iddk83g6pbsxf8n96mzgvh7fb-plasp-3.1.1/bin"... phase `validate-runpath' succeeded after 0.0 seconds starting phase `validate-documentation-location' phase `validate-documentation-location' succeeded after 0.0 seconds starting phase `delete-info-dir-file' phase `delete-info-dir-file' succeeded after 0.0 seconds starting phase `patch-dot-desktop-files' phase `patch-dot-desktop-files' succeeded after 0.0 seconds starting phase `make-dynamic-linker-cache' created '/gnu/store/zdjpb24iddk83g6pbsxf8n96mzgvh7fb-plasp-3.1.1/etc/ld.so.cache' from 2 library search path entries phase `make-dynamic-linker-cache' succeeded after 0.1 seconds starting phase `install-license-files' installing 1 license files from '../source' phase `install-license-files' succeeded after 0.0 seconds starting phase `reset-gzip-timestamps' phase `reset-gzip-timestamps' succeeded after 0.0 seconds starting phase `compress-documentation' phase `compress-documentation' succeeded after 0.0 seconds