MidnightBSD Magus

Magus

math/yices

SMT solver

Flavor Version Run OSVersion Arch License Restricted Status
2.7.0_2 634 4.0 i386 gpl3+ 0 fail

License Permissions: dist-mirror dist-sell pkg-mirror pkg-sell auto-accept

Events

Machine Type Time Message
m4032 info 2026-04-22 05:01:15.608003 Test Started
m4032 fail 2026-04-22 05:02:20.810413 make fake returned non-zero: 1
m4032 fail 2026-04-22 05:02:20.876086 Test complete.

Log

===>  Faking install for yices-2.7.0_2
/bin/ln -sf /magus/work/usr/mports/math/yices/work/yices2-yices-2.7.0/build/i386-unknown-midnightbsd4.0-release /magus/work/usr/mports/math/yices/work/yices2-yices-2.7.0/build/i386-release
===>   Generating temporary packing list
gmake[2]: Entering directory '/magus/work/usr/mports/math/yices/work/yices2-yices-2.7.0'
Mode:     release
Platform: i386
gmake[3]: Entering directory '/magus/work/usr/mports/math/yices/work/yices2-yices-2.7.0'
Makefile.build:391: warning: overriding recipe for target 'build/i386-release'
Makefile.build:175: warning: ignoring old recipe for target 'build/i386-release'
/bin/mkdir -p /magus/work/usr/mports/math/yices/work/fake-inst-i386/usr/local/bin
/bin/mkdir -p /magus/work/usr/mports/math/yices/work/fake-inst-i386/usr/local/lib
/bin/mkdir -p /magus/work/usr/mports/math/yices/work/fake-inst-i386/usr/local/include
/usr/bin/install -c -m 664 build/i386-release/../../src/include/* /magus/work/usr/mports/math/yices/work/fake-inst-i386/usr/local/include
install: build/i386-release/../../src/include/*: No such file or directory
gmake[3]: *** [Makefile.build:499: install-default] Error 71
gmake[3]: Leaving directory '/magus/work/usr/mports/math/yices/work/yices2-yices-2.7.0'
gmake[2]: *** [Makefile:295: install] Error 2
gmake[2]: Leaving directory '/magus/work/usr/mports/math/yices/work/yices2-yices-2.7.0'
*** Error code 2

Stop.
make[1]: stopped in /usr/mports/math/yices
*** Error code 1

Stop.
make: stopped in /usr/mports/math/yices

Links

Depends On

Depend Of

Categories

CVEs

  • Loading CVE information...

LLM Analysis