MidnightBSD Magusmath/yices
SMT solver
| Flavor | Version | Run | OSVersion | Arch | License | Restricted | Status | |
|---|---|---|---|---|---|---|---|---|
| 2.6.5 | 623 | 4.0 | i386 | gpl3 | 0 | fail |
License Permissions:
Events
| Machine | Type | Time | Message |
|---|---|---|---|
| m4032 | info | 2025-12-16 13:00:49.992403 | Test Started |
| m4032 | fail | 2025-12-16 13:02:05.987056 | make fake returned non-zero: 1 |
| m4032 | fail | 2025-12-16 13:02:06.04927 | Test complete. |
Log
[1m===> Faking install for yices-2.6.5[0m ===> Generating temporary packing list gmake[2]: Entering directory '/magus/work/usr/mports/math/yices/work/yices-2.6.5' Mode: release Platform: i386 gmake[3]: Entering directory '/magus/work/usr/mports/math/yices/work/yices-2.6.5' 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/yices-2.6.5' gmake[2]: *** [Makefile:295: install] Error 2 gmake[2]: Leaving directory '/magus/work/usr/mports/math/yices/work/yices-2.6.5' *** 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
- devel/autoconf (build)
- devel/automake (build)
- devel/gmake (build)
- devel/gperf (build)
- math/gmp (lib)
Depend Of
Categories
CVEs
- Loading CVE information...