------------------------------------------------------------------------------- -- Phase: Environment ------------------------------------------------------------------------------- NO_DEPENDS=1 UNAME_r=6.5 UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=unknown UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 LANG=C HOME=/root USER=root TERM=dumb SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: showconfig ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ENV ------------------------------------------------------------------------------- XDG_DATA_HOME=/construction/math/hs-syfco XDG_CONFIG_HOME=/construction/math/hs-syfco XDG_CACHE_HOME=/construction/math/hs-syfco/.cache HOME=/construction/math/hs-syfco TMPDIR="/tmp" PATH=/construction/math/hs-syfco/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/math/hs-syfco/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc80 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ARGS ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ENV ------------------------------------------------------------------------------- XDG_DATA_HOME=/construction/math/hs-syfco XDG_CONFIG_HOME=/construction/math/hs-syfco XDG_CACHE_HOME=/construction/math/hs-syfco/.cache HOME=/construction/math/hs-syfco TMPDIR="/tmp" PATH=/construction/math/hs-syfco/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/math/hs-syfco/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc80 PREFIX=/usr/local LOCALBASE=/usr/local NOPROFILE=1 CC="cc" CFLAGS="-pipe -O2 -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" " LIBS="" CXX="c++" CXXFLAGS=" -pipe -O2 -fno-strict-aliasing " MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ARGS ------------------------------------------------------------------------------- DESTDIR=/construction/math/hs-syfco/stage SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: PLIST_SUB ------------------------------------------------------------------------------- OSREL=6.5 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/syfco" EXAMPLESDIR="share/examples/syfco" DATADIR="share/syfco" WWWDIR="www/syfco" ETCDIR="etc/syfco" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: SUB_LIST ------------------------------------------------------------------------------- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/syfco DOCSDIR=/usr/local/share/doc/syfco EXAMPLESDIR=/usr/local/share/examples/syfco WWWDIR=/usr/local/www/syfco ETCDIR=/usr/local/etc/syfco SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: /etc/make.conf ------------------------------------------------------------------------------- DPORTS_BUILDER=yes DISABLE_LICENSES=yes DEFAULT_VERSIONS=ssl=openssl FORCE_PACKAGE=yes DEVELOPER=yes DFLY_STING_XFAIL=yes USE_PACKAGE_DEPENDS_ONLY=yes PORTSDIR=/xports PORT_DBDIR=/options PKG_DBDIR=/var/db/pkg PKG_CACHEDIR=/var/cache/pkg PKG_COMPRESSION_FORMAT=.tgz DEVELOPER=1 WITH_CCACHE_BUILD=yes CCACHE_DIR=/ccache UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=600503 OSVERSION=9999999 OSREL=6.5 _OSRELEASE=6.5-SYNTH DISTDIR=/distfiles WRKDIRPREFIX=/construction BATCH=yes PACKAGE_BUILDING=yes PKG_CREATE_VERBOSE=yes MAKE_JOBS_NUMBER=13 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/indexinfo-0.3.1.pkg Installing /packages/All/libffi-3.4.4.pkg Installing /packages/All/gmp-6.2.1.pkg Installing /packages/All/ncurses-6.3.pkg ===== Message from ncurses-6.3: -- To get the terminfo database please install the terminfo-db package: pkg install terminfo-db Installing /packages/All/ghc-9.2.7.pkg Installing /packages/All/hs-cabal-install-3.10.1.0.pkg Installing /packages/All/ccache-3.7.12_4.pkg Create compiler links... create symlink for cc create symlink for cc (world) create symlink for c++ create symlink for c++ (world) create symlink for CC create symlink for CC (world) create symlink for gcc create symlink for gcc (world) create symlink for g++ create symlink for g++ (world) ===== Message from ccache-3.7.12_4: -- NOTE: Please read /usr/local/share/doc/ccache/ccache-howto-freebsd.txt for information on using ccache with FreeBSD ports and src. SUCCEEDED 00:00:07 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> hs-syfco-1.1.34 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> hs-syfco-1.1.34 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by hs-syfco-1.1.34 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> hs-syfco-1.1.34 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by hs-syfco-1.1.34 for building => SHA256 Checksum OK for cabal/convertible-1.1.1.1/convertible-1.1.1.1.tar.gz. => SHA256 Checksum OK for cabal/old-locale-1.0.0.7/old-locale-1.0.0.7.tar.gz. => SHA256 Checksum OK for cabal/old-locale-1.0.0.7/revision/2.cabal. => SHA256 Checksum OK for cabal/old-time-1.1.0.3/old-time-1.1.0.3.tar.gz. => SHA256 Checksum OK for cabal/old-time-1.1.0.3/revision/2.cabal. => SHA256 Checksum OK for cabal/reactive-systems-syfco-v1.1-34-g0f0f6a6_GH0.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> hs-syfco-1.1.34 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by hs-syfco-1.1.34 for building ===> Extracting for hs-syfco-1.1.34 => SHA256 Checksum OK for cabal/convertible-1.1.1.1/convertible-1.1.1.1.tar.gz. => SHA256 Checksum OK for cabal/old-locale-1.0.0.7/old-locale-1.0.0.7.tar.gz. => SHA256 Checksum OK for cabal/old-locale-1.0.0.7/revision/2.cabal. => SHA256 Checksum OK for cabal/old-time-1.1.0.3/old-time-1.1.0.3.tar.gz. => SHA256 Checksum OK for cabal/old-time-1.1.0.3/revision/2.cabal. => SHA256 Checksum OK for cabal/reactive-systems-syfco-v1.1-34-g0f0f6a6_GH0.tar.gz. /bin/mkdir -p /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/_cabal_deps cd /construction/math/hs-syfco && /bin/mv convertible-1.1.1.1 /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/_cabal_deps/ /bin/cp /distfiles/cabal/old-locale-1.0.0.7/revision/2.cabal `find /construction/math/hs-syfco/old-locale-1.0.0.7 -name '*.cabal' -depth 1` cd /construction/math/hs-syfco && /bin/mv old-locale-1.0.0.7 /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/_cabal_deps/ /bin/cp /distfiles/cabal/old-time-1.1.0.3/revision/2.cabal `find /construction/math/hs-syfco/old-time-1.1.0.3 -name '*.cabal' -depth 1` cd /construction/math/hs-syfco && /bin/mv old-time-1.1.0.3 /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/_cabal_deps/ /bin/mkdir -p /construction/math/hs-syfco/cabal-home/.cabal echo "jobs: 13" > /construction/math/hs-syfco/cabal-home/.cabal/config Extracted Memory Use: 1.50M SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for hs-syfco-1.1.34 ===> Applying ports patches for hs-syfco-1.1.34 from /xports/math/hs-syfco/files echo "" >> /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/cabal.project.local echo "-- added by USES=cabal" >> /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/cabal.project.local echo "packages:" >> /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/cabal.project.local echo " _cabal_deps/convertible-1.1.1.1" >> /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/cabal.project.local echo " _cabal_deps/old-locale-1.0.0.7" >> /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/cabal.project.local echo " _cabal_deps/old-time-1.1.0.3" >> /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/cabal.project.local SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> hs-syfco-1.1.34 depends on executable: ghc - found ===> hs-syfco-1.1.34 depends on executable: cabal - found ===> hs-syfco-1.1.34 depends on file: /usr/local/bin/ccache - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- ===> hs-syfco-1.1.34 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so) ===> hs-syfco-1.1.34 depends on shared library: libffi.so - found (/usr/local/lib/libffi.so) SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> hs-syfco-1.1.34 depends on executable: ghc - found ===> hs-syfco-1.1.34 depends on executable: cabal - found ===> hs-syfco-1.1.34 depends on file: /usr/local/bin/ccache - found ===> hs-syfco-1.1.34 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so) ===> hs-syfco-1.1.34 depends on shared library: libffi.so - found (/usr/local/lib/libffi.so) ===> Configuring for hs-syfco-1.1.34 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for hs-syfco-1.1.34 cd /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6 && /usr/bin/env XDG_DATA_HOME=/construction/math/hs-syfco XDG_CONFIG_HOME=/construction/math/hs-syfco XDG_CACHE_HOME=/construction/math/hs-syfco/.cache HOME=/construction/math/hs-syfco TMPDIR="/tmp" PATH=/usr/local/libexec/ccache:/construction/math/hs-syfco/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/math/hs-syfco/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc80 PREFIX=/usr/local LOCALBASE=/usr/local NOPROFILE=1 CC="cc" CFLAGS="-pipe -O2 -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" " LIBS="" CXX="c++" CXXFLAGS=" -pipe -O2 -fno-strict-aliasing " MANPREFIX="/usr/local" CCACHE_DIR="/ccache" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" XDG_DATA_HOME=/construction/math/hs-syfco/cabal-home XDG_CONFIG_HOME=/construction/math/hs-syfco/cabal-home XDG_CACHE_HOME=/construction/math/hs-syfco/cabal-home HOME=/construction/math/hs-syfco/cabal-home cabal build --offline --disable-benchmarks --disable-tests --flags "-relocatable" exe:syfco Warning: No remote package servers have been specified. Usually you would have one specified in the config file. Resolving dependencies... Build profile: -w ghc-9.2.7 -O1 In order, the following will be built (use -v for more details): - old-locale-1.0.0.7 (lib) (first run) - old-time-1.1.0.3 (lib:old-time) (first run) - convertible-1.1.1.1 (lib) (first run) - syfco-1.2.1.2 (lib) (first run) - syfco-1.2.1.2 (exe:syfco) (first run) Configuring library for old-locale-1.0.0.7.. Preprocessing library for old-locale-1.0.0.7.. Building library for old-locale-1.0.0.7.. [1 of 1] Compiling System.Locale ( System/Locale.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/old-locale-1.0.0.7/build/System/Locale.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/old-locale-1.0.0.7/build/System/Locale.dyn_o ) Configuring old-time-1.1.0.3... configure: WARNING: unrecognized options: --with-compiler checking for gcc... /usr/local/libexec/ccache/cc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether /usr/local/libexec/ccache/cc accepts -g... yes checking for /usr/local/libexec/ccache/cc option to accept ISO C89... none needed checking how to run the C preprocessor... cpp checking for grep that handles long lines and -e... /usr/bin/grep checking for egrep... /usr/bin/grep -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking sys/time.h usability... yes checking sys/time.h presence... yes checking for sys/time.h... yes checking sys/timeb.h usability... yes checking sys/timeb.h presence... yes checking for sys/timeb.h... yes checking time.h usability... yes checking time.h presence... yes checking for time.h... yes checking for ftime... no checking for gmtime_r... yes checking for localtime_r... yes checking for gettimeofday... yes checking whether struct tm is in sys/time.h or time.h... time.h checking for struct tm.tm_zone... yes checking whether time.h and sys/time.h may both be included... yes checking for sys/time.h... (cached) yes checking whether altzone is declared... no configure: creating ./config.status config.status: creating include/HsTimeConfig.h configure: WARNING: unrecognized options: --with-compiler Preprocessing library for old-time-1.1.0.3.. Building library for old-time-1.1.0.3.. [1 of 1] Compiling System.Time ( /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/old-time-1.1.0.3/build/System/Time.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/old-time-1.1.0.3/build/System/Time.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/old-time-1.1.0.3/build/System/Time.dyn_o ) Configuring library for convertible-1.1.1.1.. Preprocessing library for convertible-1.1.1.1.. Building library for convertible-1.1.1.1.. [1 of 9] Compiling Data.Convertible.Base ( Data/Convertible/Base.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/convertible-1.1.1.1/build/Data/Convertible/Base.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/convertible-1.1.1.1/build/Data/Convertible/Base.dyn_o ) Data/Convertible/Base.hs:33:1: warning: [-Wdeprecations] Module `Control.Monad.Error' is deprecated: Use "Control.Monad.Except" instead | 33 | import Control.Monad.Error | ^^^^^^^^^^^^^^^^^^^^^^^^^^ Data/Convertible/Base.hs:96:10: warning: [-Wdeprecations] In the use of type constructor or class `Error' (imported from Control.Monad.Error, but defined in transformers-0.5.6.2:Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" | 96 | instance Error ConvertError where | ^^^^^ Data/Convertible/Base.hs:96:10: warning: [-Wdeprecations] In the use of type constructor or class `Error' (imported from Control.Monad.Error, but defined in transformers-0.5.6.2:Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" | 96 | instance Error ConvertError where | ^^^^^ [2 of 9] Compiling Data.Convertible.Instances.Map ( Data/Convertible/Instances/Map.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/convertible-1.1.1.1/build/Data/Convertible/Instances/Map.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/convertible-1.1.1.1/build/Data/Convertible/Instances/Map.dyn_o ) [3 of 9] Compiling Data.Convertible.Instances.Text ( Data/Convertible/Instances/Text.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/convertible-1.1.1.1/build/Data/Convertible/Instances/Text.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/convertible-1.1.1.1/build/Data/Convertible/Instances/Text.dyn_o ) Data/Convertible/Instances/Text.hs:41:1: warning: [-Wunused-imports] The import of `Data.Foldable' is redundant except perhaps to import instances from `Data.Foldable' To import instances alone, use: import Data.Foldable() | 41 | import Data.Foldable | ^^^^^^^^^^^^^^^^^^^^ [4 of 9] Compiling Data.Convertible.Utils ( Data/Convertible/Utils.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/convertible-1.1.1.1/build/Data/Convertible/Utils.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/convertible-1.1.1.1/build/Data/Convertible/Utils.dyn_o ) [5 of 9] Compiling Data.Convertible.Instances.Num ( Data/Convertible/Instances/Num.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/convertible-1.1.1.1/build/Data/Convertible/Instances/Num.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/convertible-1.1.1.1/build/Data/Convertible/Instances/Num.dyn_o ) [6 of 9] Compiling Data.Convertible.Instances.Time ( Data/Convertible/Instances/Time.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/convertible-1.1.1.1/build/Data/Convertible/Instances/Time.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/convertible-1.1.1.1/build/Data/Convertible/Instances/Time.dyn_o ) [7 of 9] Compiling Data.Convertible.Instances.C ( Data/Convertible/Instances/C.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/convertible-1.1.1.1/build/Data/Convertible/Instances/C.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/convertible-1.1.1.1/build/Data/Convertible/Instances/C.dyn_o ) [8 of 9] Compiling Data.Convertible.Instances ( Data/Convertible/Instances.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/convertible-1.1.1.1/build/Data/Convertible/Instances.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/convertible-1.1.1.1/build/Data/Convertible/Instances.dyn_o ) [9 of 9] Compiling Data.Convertible ( Data/Convertible.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/convertible-1.1.1.1/build/Data/Convertible.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/convertible-1.1.1.1/build/Data/Convertible.dyn_o ) Configuring library for syfco-1.2.1.2.. Preprocessing library for syfco-1.2.1.2.. Building library for syfco-1.2.1.2.. [ 1 of 56] Compiling Data.Expression ( src/lib/Data/Expression.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Data/Expression.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Data/Expression.dyn_o ) [ 2 of 56] Compiling Data.Error ( src/lib/Data/Error.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Data/Error.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Data/Error.dyn_o ) [ 3 of 56] Compiling Data.Enum ( src/lib/Data/Enum.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Data/Enum.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Data/Enum.dyn_o ) [ 4 of 56] Compiling Data.Binding ( src/lib/Data/Binding.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Data/Binding.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Data/Binding.dyn_o ) [ 5 of 56] Compiling Data.LTL ( src/lib/Data/LTL.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Data/LTL.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Data/LTL.dyn_o ) src/lib/Data/LTL.hs:228:22: warning: [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a lambda abstraction: Patterns of type `Atomic' not matched: Output _ | 228 | fmlInputs fml = map (\(Input x) -> x) $ filter isInput $ fmlSignals fml | ^^^^^^^^^^^^^^^ src/lib/Data/LTL.hs:240:23: warning: [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a lambda abstraction: Patterns of type `Atomic' not matched: Input _ | 240 | fmlOutputs fml = map (\(Output x) -> x) $ filter isOutput $ fmlSignals fml | ^^^^^^^^^^^^^^^^ [ 6 of 56] Compiling Data.StringMap ( src/lib/Data/StringMap.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Data/StringMap.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Data/StringMap.dyn_o ) [ 7 of 56] Compiling Data.Types ( src/lib/Data/Types.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Data/Types.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Data/Types.dyn_o ) [ 8 of 56] Compiling Data.SymbolTable ( src/lib/Data/SymbolTable.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Data/SymbolTable.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Data/SymbolTable.dyn_o ) [ 9 of 56] Compiling Data.Specification ( src/lib/Data/Specification.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Data/Specification.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Data/Specification.dyn_o ) [10 of 56] Compiling Paths_syfco ( /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/autogen/Paths_syfco.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Paths_syfco.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Paths_syfco.dyn_o ) [11 of 56] Compiling Data.Info ( src/lib/Data/Info.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Data/Info.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Data/Info.dyn_o ) [12 of 56] Compiling Reader.Data ( src/lib/Reader/Data.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Reader/Data.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Reader/Data.dyn_o ) [13 of 56] Compiling Reader.Error ( src/lib/Reader/Error.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Reader/Error.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Reader/Error.dyn_o ) [14 of 56] Compiling Reader.Parser.Data ( src/lib/Reader/Parser/Data.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Reader/Parser/Data.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Reader/Parser/Data.dyn_o ) [15 of 56] Compiling Reader.Abstraction ( src/lib/Reader/Abstraction.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Reader/Abstraction.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Reader/Abstraction.dyn_o ) src/lib/Reader/Abstraction.hs:281:11: warning: [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type `Maybe ExprPos' not matched: Nothing | 281 | let Just p = IM.lookup j $ tPos a | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [16 of 56] Compiling Reader.Parser.Utils ( src/lib/Reader/Parser/Utils.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Reader/Parser/Utils.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Reader/Parser/Utils.dyn_o ) [17 of 56] Compiling Reader.Parser.Info ( src/lib/Reader/Parser/Info.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Reader/Parser/Info.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Reader/Parser/Info.dyn_o ) [18 of 56] Compiling Reader.Parser.Expression ( src/lib/Reader/Parser/Expression.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Reader/Parser/Expression.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Reader/Parser/Expression.dyn_o ) [19 of 56] Compiling Reader.Parser.Global ( src/lib/Reader/Parser/Global.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Reader/Parser/Global.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Reader/Parser/Global.dyn_o ) [20 of 56] Compiling Reader.Parser.Component ( src/lib/Reader/Parser/Component.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Reader/Parser/Component.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Reader/Parser/Component.dyn_o ) [21 of 56] Compiling Reader.Parser ( src/lib/Reader/Parser.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Reader/Parser.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Reader/Parser.dyn_o ) [22 of 56] Compiling Reader.Sugar ( src/lib/Reader/Sugar.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Reader/Sugar.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Reader/Sugar.dyn_o ) [23 of 56] Compiling Utils ( src/lib/Utils.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Utils.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Utils.dyn_o ) [24 of 56] Compiling Reader.InferType ( src/lib/Reader/InferType.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Reader/InferType.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Reader/InferType.dyn_o ) [25 of 56] Compiling Reader.Bindings ( src/lib/Reader/Bindings.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Reader/Bindings.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Reader/Bindings.dyn_o ) [26 of 56] Compiling Reader ( src/lib/Reader.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Reader.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Reader.dyn_o ) [27 of 56] Compiling Writer.Data ( src/lib/Writer/Data.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Data.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Data.dyn_o ) [28 of 56] Compiling Writer.Error ( src/lib/Writer/Error.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Error.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Error.dyn_o ) [29 of 56] Compiling Writer.Formats ( src/lib/Writer/Formats.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats.dyn_o ) [30 of 56] Compiling Config ( src/lib/Config.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Config.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Config.dyn_o ) [31 of 56] Compiling Writer.Eval ( src/lib/Writer/Eval.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Eval.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Eval.dyn_o ) src/lib/Writer/Eval.hs:420:12: warning: [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a lambda abstraction: Patterns of type `SignalDecType Int' not matched: SDBus _ _ SDEnum _ _ | 420 | map (\(SDSingle (x,_)) -> x) ios | ^^^^^^^^^^^^^^^^^^^^^^ src/lib/Writer/Eval.hs:724:31: warning: [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a lambda abstraction: Patterns of type `Value' not matched: VEmpty VNumber _ VSet _ VEnum _ _ _ ... | 724 | let f = VLtl . And . map (\(VLtl v) -> v) | ^^^^^^^^^^^^^^ src/lib/Writer/Eval.hs:727:30: warning: [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a lambda abstraction: Patterns of type `Value' not matched: VEmpty VNumber _ VSet _ VEnum _ _ _ ... | 727 | let f = VLtl . Or . map (\(VLtl v) -> v) | ^^^^^^^^^^^^^^ src/lib/Writer/Eval.hs:791:23: warning: [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a lambda abstraction: Patterns of type `Value' not matched: VEmpty VLtl _ VSet _ VEnum _ _ _ ... | 791 | let xs = map (\(VNumber v) -> v) $ S.elems y in | ^^^^^^^^^^^^^^^^^ src/lib/Writer/Eval.hs:799:23: warning: [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a lambda abstraction: Patterns of type `Value' not matched: VEmpty VLtl _ VSet _ VEnum _ _ _ ... | 799 | let xs = map (\(VNumber v) -> v) $ S.elems y in | ^^^^^^^^^^^^^^^^^ src/lib/Writer/Eval.hs:813:34: warning: [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a lambda abstraction: Patterns of type `Value' not matched: VEmpty VLtl _ VSet _ VEnum _ _ _ ... | 813 | let f = VNumber . sum . map (\(VNumber v) -> v) | ^^^^^^^^^^^^^^^^^ src/lib/Writer/Eval.hs:816:38: warning: [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a lambda abstraction: Patterns of type `Value' not matched: VEmpty VLtl _ VSet _ VEnum _ _ _ ... | 816 | let f = VNumber . product . map (\(VNumber v) -> v) | ^^^^^^^^^^^^^^^^^ src/lib/Writer/Eval.hs:955:36: warning: [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a lambda abstraction: Patterns of type `Value' not matched: VEmpty VNumber _ VLtl _ VEnum _ _ _ ... | 955 | let f = VSet . S.unions . map (\(VSet v) -> v) | ^^^^^^^^^^^^^^ src/lib/Writer/Eval.hs:963:29: warning: [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a lambda abstraction: Patterns of type `Value' not matched: VEmpty VNumber _ VLtl _ VEnum _ _ _ ... | 963 | f = VSet . g . map (\(VSet v) -> v) | ^^^^^^^^^^^^^^ [32 of 56] Compiling Simplify ( src/lib/Simplify.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Simplify.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Simplify.dyn_o ) [33 of 56] Compiling Writer.Formats.Full ( src/lib/Writer/Formats/Full.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/Full.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/Full.dyn_o ) [34 of 56] Compiling Writer.Formats.Unbeast ( src/lib/Writer/Formats/Unbeast.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/Unbeast.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/Unbeast.dyn_o ) [35 of 56] Compiling Writer.Utils ( src/lib/Writer/Utils.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Utils.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Utils.dyn_o ) [36 of 56] Compiling Writer.Formats.Wring ( src/lib/Writer/Formats/Wring.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/Wring.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/Wring.dyn_o ) [37 of 56] Compiling Writer.Formats.Utf8 ( src/lib/Writer/Formats/Utf8.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/Utf8.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/Utf8.dyn_o ) [38 of 56] Compiling Writer.Formats.SmvDecomp ( src/lib/Writer/Formats/SmvDecomp.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/SmvDecomp.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/SmvDecomp.dyn_o ) [39 of 56] Compiling Writer.Formats.Smv ( src/lib/Writer/Formats/Smv.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/Smv.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/Smv.dyn_o ) [40 of 56] Compiling Writer.Formats.Rabinizer ( src/lib/Writer/Formats/Rabinizer.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/Rabinizer.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/Rabinizer.dyn_o ) [41 of 56] Compiling Writer.Formats.Psl ( src/lib/Writer/Formats/Psl.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/Psl.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/Psl.dyn_o ) [42 of 56] Compiling Writer.Formats.Promela ( src/lib/Writer/Formats/Promela.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/Promela.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/Promela.dyn_o ) [43 of 56] Compiling Writer.Formats.LtlxbaDecomp ( src/lib/Writer/Formats/LtlxbaDecomp.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/LtlxbaDecomp.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/LtlxbaDecomp.dyn_o ) [44 of 56] Compiling Writer.Formats.Ltlxba ( src/lib/Writer/Formats/Ltlxba.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/Ltlxba.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/Ltlxba.dyn_o ) [45 of 56] Compiling Writer.Formats.Ltl ( src/lib/Writer/Formats/Ltl.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/Ltl.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/Ltl.dyn_o ) [46 of 56] Compiling Writer.Formats.Lily ( src/lib/Writer/Formats/Lily.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/Lily.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/Lily.dyn_o ) [47 of 56] Compiling Writer.Formats.Bosy ( src/lib/Writer/Formats/Bosy.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/Bosy.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/Bosy.dyn_o ) [48 of 56] Compiling Writer.Formats.Basic ( src/lib/Writer/Formats/Basic.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/Basic.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/Basic.dyn_o ) [49 of 56] Compiling Writer.Formats.AcaciaSpecs ( src/lib/Writer/Formats/AcaciaSpecs.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/AcaciaSpecs.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/AcaciaSpecs.dyn_o ) [50 of 56] Compiling Writer.Formats.Acacia ( src/lib/Writer/Formats/Acacia.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/Acacia.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/Acacia.dyn_o ) [51 of 56] Compiling Detection.GeneralizedReactivity ( src/lib/Detection/GeneralizedReactivity.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Detection/GeneralizedReactivity.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Detection/GeneralizedReactivity.dyn_o ) [52 of 56] Compiling Detection ( src/lib/Detection.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Detection.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Detection.dyn_o ) [53 of 56] Compiling Writer.Formats.SlugsIn ( src/lib/Writer/Formats/SlugsIn.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/SlugsIn.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/SlugsIn.dyn_o ) [54 of 56] Compiling Writer.Formats.Slugs ( src/lib/Writer/Formats/Slugs.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/Slugs.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer/Formats/Slugs.dyn_o ) [55 of 56] Compiling Writer ( src/lib/Writer.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Writer.dyn_o ) [56 of 56] Compiling Syfco ( src/lib/Syfco.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Syfco.o, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/build/Syfco.dyn_o ) Configuring executable 'syfco' for syfco-1.2.1.2.. Preprocessing executable 'syfco' for syfco-1.2.1.2.. Building executable 'syfco' for syfco-1.2.1.2.. [1 of 3] Compiling Info ( src/syfco/Info.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/x/syfco/build/syfco/syfco-tmp/Info.o ) [2 of 3] Compiling Arguments ( src/syfco/Arguments.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/x/syfco/build/syfco/syfco-tmp/Arguments.o ) [3 of 3] Compiling Main ( src/syfco/Main.hs, /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/x/syfco/build/syfco/syfco-tmp/Main.o ) Linking /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle/build/x86_64-dragonfly/ghc-9.2.7/syfco-1.2.1.2/x/syfco/build/syfco/syfco ... SUCCEEDED 00:03:23 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for hs-syfco-1.1.34 ===> Generating temporary packing list /bin/mkdir -p /construction/math/hs-syfco/stage/usr/local/libexec/cabal install -s -m 555 $(find /construction/math/hs-syfco/syfco-1.1-34-g0f0f6a6/dist-newstyle -name syfco -type f -perm +111) /construction/math/hs-syfco/stage/usr/local/libexec/cabal/syfco echo '#!/bin/sh' > /construction/math/hs-syfco/stage/usr/local/bin/syfco echo '' >> /construction/math/hs-syfco/stage/usr/local/bin/syfco echo 'export syfco_datadir=/usr/local/share/syfco' >> /construction/math/hs-syfco/stage/usr/local/bin/syfco echo '' >> /construction/math/hs-syfco/stage/usr/local/bin/syfco echo 'exec /usr/local/libexec/cabal/syfco "$@"' >> /construction/math/hs-syfco/stage/usr/local/bin/syfco /bin/chmod +x /construction/math/hs-syfco/stage/usr/local/bin/syfco echo 'bin/syfco' >> /construction/math/hs-syfco/.PLIST.mktmp echo 'libexec/cabal/syfco' >> /construction/math/hs-syfco/.PLIST.mktmp ====> Compressing man pages (compress-man) ====> Running Q/A tests (stage-qa) Warning: You have disabled the licenses framework with DISABLE_LICENSES, unable to run checks SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: check-plist ------------------------------------------------------------------------------- ====> Checking for pkg-plist issues (check-plist) ===> Parsing plist ===> Checking for items in STAGEDIR missing from pkg-plist ===> Checking for items in pkg-plist which are not in STAGEDIR ===> No pkg-plist issues found (check-plist) SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for hs-syfco-1.1.34 file sizes/checksums [2]: 0% file sizes/checksums [2]: 100% Service unavailablepacking files [2]: 0% packing files [2]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:01 TOTAL TIME 00:03:34