=> Bootstrap dependency digest>=20211023: found digest-20220214 ===> Installing for idris2-0.6.0 => Generating pre-install file lists => Creating installation directories mkdir -p /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/bin/ install /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/build/exec/idris2 /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/bin mkdir -p /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/lib/ install support/c/libidris2_support.dylib /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/lib mkdir -p /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/bin/idris2_app install /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/build/exec/idris2_app/* /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/bin/idris2_app mkdir -p /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/support/docs mkdir -p /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/support/racket mkdir -p /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/support/gambit mkdir -p /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/support/js install -m 644 support/docs/*.css /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/support/docs install -m 644 support/racket/* /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/support/racket install -m 644 support/gambit/* /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/support/gambit install -m 644 support/js/* /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/support/js make[1]: Entering directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/support/c' mkdir -p /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/lib mkdir -p /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/support/c install -m 755 libidris2_support.dylib /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/lib install -m 644 libidris2_support.a /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/lib install -m 644 *.h /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/support/c make[1]: Leaving directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/support/c' make[1]: Entering directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/support/refc' mkdir -p /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/support/refc install -m 644 libidris2_refc.a *.h /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/support/refc make[1]: Leaving directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/support/refc' make[1]: Entering directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/support/chez' mkdir -p /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/support/chez install -m 644 *.ss /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/support/chez make[1]: Leaving directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/support/chez' make -C libs/prelude install IDRIS2=/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/build/exec/idris2 IDRIS2_PATH="/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/network/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/test/build/ttc" IDRIS2_INC_CGS=chez make[1]: Entering directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude' /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/build/exec/idris2 --install prelude.ipkg --stage-dir "/Users/pbulk/build/lang/idris2/work/.destdir" Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc/Builtin.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/prelude-0.6.0 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc/Builtin.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/prelude-0.6.0 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc/PrimIO.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/prelude-0.6.0 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc/PrimIO.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/prelude-0.6.0 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc/Prelude.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/prelude-0.6.0 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc/Prelude.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/prelude-0.6.0 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc/Prelude/Basics.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/prelude-0.6.0/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc/Prelude/Basics.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/prelude-0.6.0/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc/Prelude/Cast.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/prelude-0.6.0/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc/Prelude/Cast.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/prelude-0.6.0/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc/Prelude/EqOrd.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/prelude-0.6.0/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc/Prelude/EqOrd.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/prelude-0.6.0/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc/Prelude/Interfaces.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/prelude-0.6.0/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc/Prelude/Interfaces.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/prelude-0.6.0/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc/Prelude/Interpolation.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/prelude-0.6.0/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc/Prelude/Interpolation.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/prelude-0.6.0/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc/Prelude/IO.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/prelude-0.6.0/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc/Prelude/IO.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/prelude-0.6.0/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc/Prelude/Num.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/prelude-0.6.0/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc/Prelude/Num.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/prelude-0.6.0/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc/Prelude/Ops.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/prelude-0.6.0/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc/Prelude/Ops.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/prelude-0.6.0/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc/Prelude/Show.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/prelude-0.6.0/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc/Prelude/Show.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/prelude-0.6.0/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc/Prelude/Types.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/prelude-0.6.0/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc/Prelude/Types.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/prelude-0.6.0/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc/Prelude/Uninhabited.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/prelude-0.6.0/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc/Prelude/Uninhabited.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/prelude-0.6.0/Prelude Installing package file for prelude to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/prelude-0.6.0 make[1]: Leaving directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude' make -C libs/base install IDRIS2=/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/build/exec/idris2 IDRIS2_PATH="/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/network/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/test/build/ttc" IDRIS2_INC_CGS=chez make[1]: Entering directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base' /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/build/exec/idris2 --install base.ipkg --stage-dir "/Users/pbulk/build/lang/idris2/work/.destdir" Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/App.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/App.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/App/Console.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/App Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/App/Console.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/App Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/App/FileIO.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/App Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/App/FileIO.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/App Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Applicative/Const.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Applicative Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Applicative/Const.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Applicative Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/Either.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/Either.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/Error/Either.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad/Error Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/Error/Either.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad/Error Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/Error/Interface.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad/Error Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/Error/Interface.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad/Error Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/Identity.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/Identity.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/Maybe.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/Maybe.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/RWS.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/RWS.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/RWS/CPS.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad/RWS Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/RWS/CPS.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad/RWS Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/RWS/Interface.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad/RWS Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/RWS/Interface.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad/RWS Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/Reader.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/Reader.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/Reader/Interface.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad/Reader Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/Reader/Interface.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad/Reader Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/Reader/Reader.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad/Reader Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/Reader/Reader.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad/Reader Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/ST.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/ST.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/State.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/State.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/State/Interface.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad/State Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/State/Interface.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad/State Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/State/State.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad/State Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/State/State.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad/State Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/Trans.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/Trans.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/Writer.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/Writer.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/Writer/CPS.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad/Writer Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/Writer/CPS.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad/Writer Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/Writer/Interface.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad/Writer Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Monad/Writer/Interface.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Monad/Writer Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/WellFounded.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/WellFounded.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Function.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Function.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Function/FunExt.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Function Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Function/FunExt.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control/Function Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Relation.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Relation.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Ord.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Ord.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Order.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Control/Order.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Bifoldable.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Bifoldable.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Bits.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Bits.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Bool.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Bool.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Bool/Xor.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/Bool Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Bool/Xor.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/Bool Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Buffer.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Buffer.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Colist.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Colist.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Colist1.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Colist1.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Contravariant.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Contravariant.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/DPair.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/DPair.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Either.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Either.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Fin.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Fin.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Fin/Order.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/Fin Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Fin/Order.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/Fin Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Fuel.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Fuel.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Fun.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Fun.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/IOArray.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/IOArray.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/IOArray/Prims.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/IOArray Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/IOArray/Prims.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/IOArray Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/IORef.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/IORef.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/List.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/List.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/SnocList.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/SnocList.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/SnocList/Elem.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/SnocList Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/SnocList/Elem.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/SnocList Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/SnocList/Quantifiers.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/SnocList Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/SnocList/Quantifiers.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/SnocList Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/SnocList/Operations.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/SnocList Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/SnocList/Operations.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/SnocList Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/List/Elem.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/List/Elem.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/List/Views.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/List/Views.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/List/Quantifiers.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/List/Quantifiers.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/List1.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/List1.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/List1/Elem.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/List1 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/List1/Elem.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/List1 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/List1/Quantifiers.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/List1 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/List1/Quantifiers.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/List1 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/List1/Properties.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/List1 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/List1/Properties.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/List1 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Maybe.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Maybe.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Morphisms.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Morphisms.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Nat.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Nat.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Nat/Order.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Nat/Order.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Nat/Views.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Nat/Views.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Primitives/Views.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/Primitives Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Primitives/Views.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/Primitives Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Ref.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Ref.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Rel.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Rel.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Singleton.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Singleton.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/So.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/So.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Stream.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Stream.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/String.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/String.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/These.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/These.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Vect.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Vect.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Vect/Elem.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/Vect Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Vect/Elem.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/Vect Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Vect/AtIndex.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/Vect Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Vect/AtIndex.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/Vect Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Vect/Quantifiers.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/Vect Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Vect/Quantifiers.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data/Vect Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Zippable.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Data/Zippable.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Debug/Trace.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Debug Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Debug/Trace.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Debug Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Deriving/Common.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Deriving Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Deriving/Common.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Deriving Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Deriving/Foldable.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Deriving Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Deriving/Foldable.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Deriving Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Deriving/Functor.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Deriving Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Deriving/Functor.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Deriving Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Deriving/Traversable.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Deriving Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Deriving/Traversable.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Deriving Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Decidable/Decidable.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Decidable Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Decidable/Decidable.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Decidable Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Decidable/Equality.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Decidable Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Decidable/Equality.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Decidable Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Decidable/Equality/Core.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Decidable/Equality Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Decidable/Equality/Core.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Decidable/Equality Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Language/Reflection.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Language Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Language/Reflection.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Language Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Language/Reflection/TT.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Language/Reflection Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Language/Reflection/TT.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Language/Reflection Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Language/Reflection/TTImp.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Language/Reflection Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Language/Reflection/TTImp.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Language/Reflection Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Syntax/PreorderReasoning.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Syntax Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Syntax/PreorderReasoning.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Syntax Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Syntax/PreorderReasoning/Generic.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Syntax/PreorderReasoning Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/Syntax/PreorderReasoning/Generic.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/Syntax/PreorderReasoning Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/Clock.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/Clock.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/Concurrency.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/Concurrency.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/Directory.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/Directory.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/Errno.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/Errno.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/Escape.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/Escape.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/FFI.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/FFI.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/File.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/File.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/File/Buffer.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/File/Buffer.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/File/Error.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/File/Error.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/File/Handle.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/File/Handle.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/File/Meta.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/File/Meta.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/File/Mode.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/File/Mode.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/File/Permissions.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/File/Permissions.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/File/Process.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/File/Process.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/File/ReadWrite.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/File/ReadWrite.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/File/Support.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/File/Support.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/File/Types.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/File/Types.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/File/Virtual.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/File/Virtual.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/Info.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/Info.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/REPL.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/REPL.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/Signal.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc/System/Signal.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0/System Installing package file for base to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/base-0.6.0 make[1]: Leaving directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base' make -C libs/linear install IDRIS2=/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/build/exec/idris2 IDRIS2_PATH="/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/network/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/test/build/ttc" IDRIS2_INC_CGS=chez make[1]: Entering directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear' /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/build/exec/idris2 --install linear.ipkg --stage-dir "/Users/pbulk/build/lang/idris2/work/.destdir" Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear/build/ttc/Control/Linear/LIO.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/linear-0.5.1/Control/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear/build/ttc/Control/Linear/LIO.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/linear-0.5.1/Control/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear/build/ttc/Data/Linear.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/linear-0.5.1/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear/build/ttc/Data/Linear.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/linear-0.5.1/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear/build/ttc/Data/Linear/Bifunctor.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/linear-0.5.1/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear/build/ttc/Data/Linear/Bifunctor.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/linear-0.5.1/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear/build/ttc/Data/Linear/Copies.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/linear-0.5.1/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear/build/ttc/Data/Linear/Copies.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/linear-0.5.1/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear/build/ttc/Data/Linear/Interface.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/linear-0.5.1/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear/build/ttc/Data/Linear/Interface.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/linear-0.5.1/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear/build/ttc/Data/Linear/LEither.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/linear-0.5.1/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear/build/ttc/Data/Linear/LEither.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/linear-0.5.1/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear/build/ttc/Data/Linear/LList.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/linear-0.5.1/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear/build/ttc/Data/Linear/LList.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/linear-0.5.1/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear/build/ttc/Data/Linear/List/LQuantifiers.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/linear-0.5.1/Data/Linear/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear/build/ttc/Data/Linear/List/LQuantifiers.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/linear-0.5.1/Data/Linear/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear/build/ttc/Data/Linear/LMaybe.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/linear-0.5.1/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear/build/ttc/Data/Linear/LMaybe.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/linear-0.5.1/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear/build/ttc/Data/Linear/LNat.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/linear-0.5.1/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear/build/ttc/Data/Linear/LNat.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/linear-0.5.1/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear/build/ttc/Data/Linear/LVect.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/linear-0.5.1/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear/build/ttc/Data/Linear/LVect.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/linear-0.5.1/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear/build/ttc/Data/Linear/Notation.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/linear-0.5.1/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear/build/ttc/Data/Linear/Notation.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/linear-0.5.1/Data/Linear Installing package file for linear to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/linear-0.5.1 make[1]: Leaving directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear' make -C libs/network install IDRIS2=/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/build/exec/idris2 IDRIS2_PATH="/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/network/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/test/build/ttc" IDRIS2_INC_CGS=chez make[1]: Entering directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/network' /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/build/exec/idris2 --install network.ipkg --stage-dir "/Users/pbulk/build/lang/idris2/work/.destdir" Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/network/build/ttc/Control/Linear/Network.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/network-0.6.0/Control/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/network/build/ttc/Control/Linear/Network.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/network-0.6.0/Control/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/network/build/ttc/Network/Socket.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/network-0.6.0/Network Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/network/build/ttc/Network/Socket.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/network-0.6.0/Network Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/network/build/ttc/Network/Socket/Data.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/network-0.6.0/Network/Socket Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/network/build/ttc/Network/Socket/Data.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/network-0.6.0/Network/Socket Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/network/build/ttc/Network/Socket/Raw.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/network-0.6.0/Network/Socket Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/network/build/ttc/Network/Socket/Raw.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/network-0.6.0/Network/Socket Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/network/build/ttc/Network/FFI.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/network-0.6.0/Network Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/network/build/ttc/Network/FFI.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/network-0.6.0/Network Installing package file for network to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/network-0.6.0 make[1]: Leaving directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/network' make -C libs/contrib install IDRIS2=/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/build/exec/idris2 IDRIS2_PATH="/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/network/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/test/build/ttc" IDRIS2_INC_CGS=chez make[1]: Entering directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib' /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/build/exec/idris2 --install contrib.ipkg --stage-dir "/Users/pbulk/build/lang/idris2/work/.destdir" Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Control/ANSI.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Control/ANSI.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Control/ANSI/SGR.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Control/ANSI Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Control/ANSI/SGR.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Control/ANSI Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Control/ANSI/CSI.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Control/ANSI Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Control/ANSI/CSI.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Control/ANSI Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Control/Delayed.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Control/Delayed.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Control/Monad/Algebra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Control/Monad/Algebra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Control/Algebra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Control/Algebra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Control/Algebra/Laws.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Control/Algebra Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Control/Algebra/Laws.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Control/Algebra Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Control/Algebra/Implementations.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Control/Algebra Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Control/Algebra/Implementations.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Control/Algebra Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Control/Arrow.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Control/Arrow.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Control/Category.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Control/Category.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Control/Validation.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Control/Validation.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Binary/Digit.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Binary Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Binary/Digit.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Binary Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Binary.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Binary.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Bool/Algebra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Bool Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Bool/Algebra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Bool Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Bool/Decidable.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Bool Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Bool/Decidable.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Bool Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Fin/Extra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Fin Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Fin/Extra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Fin Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Fun/Extra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Fun Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Fun/Extra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Fun Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Fun/Graph.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Fun Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Fun/Graph.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Fun Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/IMaybe.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/IMaybe.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Int/Order.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Int Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Int/Order.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Int Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Late.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Late.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Linear/Array.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Linear/Array.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/List/Algebra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/List/Algebra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/List/TailRec.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/List/TailRec.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/List/Equalities.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/List/Equalities.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/List/Extra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/List/Extra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/List/Reverse.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/List/Reverse.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/List/Views/Extra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/List/Views Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/List/Views/Extra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/List/Views Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/List/Palindrome.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/List/Palindrome.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/List/HasLength.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/List/HasLength.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/List/AtIndex.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/List/AtIndex.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/List/Alternating.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/List/Alternating.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/List/Elem/Extra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/List/Elem Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/List/Elem/Extra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/List/Elem Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/List/Lazy.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/List/Lazy.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/List/Lazy/Quantifiers.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/List/Lazy Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/List/Lazy/Quantifiers.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/List/Lazy Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Logic/Propositional.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Logic Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Logic/Propositional.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Logic Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Monoid/Exponentiation.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Monoid Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Monoid/Exponentiation.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Monoid Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Morphisms/Algebra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Morphisms Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Morphisms/Algebra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Morphisms Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Nat/Algebra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Nat/Algebra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Nat/Ack.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Nat/Ack.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Nat/Division.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Nat/Division.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Nat/Equational.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Nat/Equational.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Nat/Exponentiation.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Nat/Exponentiation.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Nat/Fact.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Nat/Fact.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Nat/Factor.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Nat/Factor.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Nat/Fib.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Nat/Fib.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Nat/Order/Strict.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Nat/Order Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Nat/Order/Strict.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Nat/Order Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Nat/Order/Properties.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Nat/Order Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Nat/Order/Properties.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Nat/Order Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Nat/Order/Relation.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Nat/Order Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Nat/Order/Relation.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Nat/Order Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Nat/Properties.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Nat/Properties.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Order.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Order.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Path.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Path.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Rel/Complement.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Rel Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Rel/Complement.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Rel Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Seq/Internal.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Seq Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Seq/Internal.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Seq Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Seq/Sized.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Seq Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Seq/Sized.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Seq Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Seq/Unsized.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Seq Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Seq/Unsized.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Seq Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/SortedMap.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/SortedMap.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/SortedMap/Dependent.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/SortedMap Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/SortedMap/Dependent.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/SortedMap Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/SortedSet.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/SortedSet.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Stream/Extra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Stream Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Stream/Extra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Stream Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/String/Extra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/String/Extra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/String/Interpolation.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/String/Interpolation.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/String/Iterator.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/String/Iterator.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/String/Parser.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/String/Parser.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/String/Parser/Expression.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/String/Parser Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/String/Parser/Expression.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/String/Parser Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/String/Position.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/String/Position.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Telescope.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Telescope.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Telescope/Telescope.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Telescope Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Telescope/Telescope.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Telescope Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Telescope/Segment.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Telescope Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Telescope/Segment.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Telescope Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Telescope/Fun.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Telescope Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Telescope/Fun.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Telescope Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Telescope/SimpleFun.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Telescope Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Telescope/SimpleFun.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Telescope Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Telescope/Congruence.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Telescope Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Telescope/Congruence.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Telescope Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Validated.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Validated.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Vect/Properties.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Vect Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Vect/Properties.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Vect Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Vect/Properties/Tabulate.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Vect/Properties Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Vect/Properties/Tabulate.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Vect/Properties Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Vect/Properties/Index.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Vect/Properties Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Vect/Properties/Index.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Vect/Properties Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Vect/Properties/Foldr.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Vect/Properties Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Vect/Properties/Foldr.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Vect/Properties Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Vect/Properties/Map.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Vect/Properties Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Vect/Properties/Map.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Vect/Properties Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Vect/Properties/Fin.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Vect/Properties Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Vect/Properties/Fin.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Vect/Properties Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Vect/Extra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Vect Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Vect/Extra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Vect Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Vect/Sort.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Vect Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Vect/Sort.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Vect Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Vect/Views/Extra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Vect/Views Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Vect/Views/Extra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data/Vect/Views Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Void.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/Void.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/HVect.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Data/HVect.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Debug/Buffer.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Debug Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Debug/Buffer.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Debug Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Decidable/Order/Strict.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Decidable/Order Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Decidable/Order/Strict.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Decidable/Order Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Decidable/Decidable/Extra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Decidable/Decidable Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Decidable/Decidable/Extra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Decidable/Decidable Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Language/JSON.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Language Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Language/JSON.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Language Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Language/JSON/Data.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Language/JSON Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Language/JSON/Data.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Language/JSON Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Language/JSON/Lexer.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Language/JSON Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Language/JSON/Lexer.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Language/JSON Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Language/JSON/Parser.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Language/JSON Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Language/JSON/Parser.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Language/JSON Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Language/JSON/String.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Language/JSON Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Language/JSON/String.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Language/JSON Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Language/JSON/String/Lexer.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Language/JSON/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Language/JSON/String/Lexer.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Language/JSON/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Language/JSON/String/Parser.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Language/JSON/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Language/JSON/String/Parser.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Language/JSON/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Language/JSON/String/Tokens.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Language/JSON/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Language/JSON/String/Tokens.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Language/JSON/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Language/JSON/Tokens.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Language/JSON Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Language/JSON/Tokens.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Language/JSON Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Syntax/WithProof.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Syntax Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Syntax/WithProof.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Syntax Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/System/Console/GetOpt.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/System/Console Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/System/Console/GetOpt.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/System/Console Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/System/Directory/Tree.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/System/Directory Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/System/Directory/Tree.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/System/Directory Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/System/Future.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/System/Future.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/System/Random.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/System/Random.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/System/Path.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/System/Path.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/Bounded.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/Bounded.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/Lexer.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/Lexer.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/Lexer/Core.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text/Lexer Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/Lexer/Core.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text/Lexer Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/Lexer/Tokenizer.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text/Lexer Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/Lexer/Tokenizer.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text/Lexer Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/Literate.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/Literate.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/Parser.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/Parser.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/Parser/Core.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text/Parser Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/Parser/Core.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text/Parser Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/Parser/Expression.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text/Parser Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/Parser/Expression.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text/Parser Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text/PrettyPrint Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text/PrettyPrint Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Doc.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text/PrettyPrint/Prettyprinter Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Doc.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text/PrettyPrint/Prettyprinter Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Render/HTML.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text/PrettyPrint/Prettyprinter/Render Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Render/HTML.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text/PrettyPrint/Prettyprinter/Render Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Render/String.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text/PrettyPrint/Prettyprinter/Render Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Render/String.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text/PrettyPrint/Prettyprinter/Render Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Render/Terminal.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text/PrettyPrint/Prettyprinter/Render Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Render/Terminal.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text/PrettyPrint/Prettyprinter/Render Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/SimpleDocTree.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text/PrettyPrint/Prettyprinter Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/SimpleDocTree.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text/PrettyPrint/Prettyprinter Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Symbols.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text/PrettyPrint/Prettyprinter Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Symbols.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text/PrettyPrint/Prettyprinter Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Util.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text/PrettyPrint/Prettyprinter Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Util.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text/PrettyPrint/Prettyprinter Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/Quantity.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/Quantity.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/Token.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc/Text/Token.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0/Text Installing package file for contrib to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/contrib-0.6.0 make[1]: Leaving directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib' make -C libs/test install IDRIS2=/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/build/exec/idris2 IDRIS2_PATH="/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/prelude/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/base/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/linear/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/network/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/contrib/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/test/build/ttc" IDRIS2_INC_CGS=chez make[1]: Entering directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/test' /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/build/exec/idris2 --install test.ipkg --stage-dir "/Users/pbulk/build/lang/idris2/work/.destdir" Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/test/build/ttc/Test/Golden.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/test-0.6.0/Test Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/test/build/ttc/Test/Golden.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/test-0.6.0/Test Installing package file for test to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.6.0/test-0.6.0 make[1]: Leaving directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.6.0/libs/test' => Substituting "app" in /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/bin/idris2 /usr/bin/install -c -o pbulk -g staff -m 644 /Users/pbulk/build/lang/idris2/work/idris2.bash /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/share/bash-completion/completions/idris2 /usr/bin/install -c -o pbulk -g staff -m 644 /Users/pbulk/build/lang/idris2/work/idris2.zsh /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/share/zsh/site-functions/_idris2 for f in compileChez idris2-boot.so idris2-boot.ss; do /bin/rm -f /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/bin/idris2_app/$f; done /bin/mv /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/bin/idris2_app /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/libexec => Automatic manual page handling => Generating post-install file lists => Checking file-check results for idris2-0.6.0 => Checking for non-existent script interpreters in idris2-0.6.0 => Checking file permissions in idris2-0.6.0 => Checking for missing run-time search paths in idris2-0.6.0 ERROR: idris2-0.6.0/lib/libidris2_support.dylib: relative library path: libidris2_support.dylib ERROR: idris2-0.6.0/lib/libidris2_support.dylib: missing library: libidris2_support.dylib ERROR: lib/libidris2_support.dylib: relative library path: libidris2_support.dylib ERROR: lib/libidris2_support.dylib: missing library: libidris2_support.dylib ERROR: libexec/idris2_app/libidris2_support.dylib: relative library path: libidris2_support.dylib ERROR: libexec/idris2_app/libidris2_support.dylib: missing library: libidris2_support.dylib *** Error code 1 Stop. bmake[1]: stopped in /Volumes/data/jenkins/workspace/pkgsrc-macos11-trunk-arm64/lang/idris2 *** Error code 1 Stop. bmake: stopped in /Volumes/data/jenkins/workspace/pkgsrc-macos11-trunk-arm64/lang/idris2