MidnightBSD Magusmath/yices
SMT solver
| Flavor | Version | Run | OSVersion | Arch | License | Restricted | Status | |
|---|---|---|---|---|---|---|---|---|
| 2.6.5 | 604 | 3.2 | amd64 | gpl3 | 0 | fail |
License Permissions:
Events
| Machine | Type | Time | Message |
|---|---|---|---|
| m3264 | info | 2025-06-04 19:47:22.060973 | Test Started |
| m3264 | fail | 2025-06-04 19:47:53.129801 | make fake returned non-zero: 1 |
| m3264 | fail | 2025-06-04 19:47:53.233848 | 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: amd64 gmake[3]: Entering directory '/magus/work/usr/mports/math/yices/work/yices-2.6.5' Makefile.build:391: warning: overriding recipe for target 'build/amd64-release' Makefile.build:175: warning: ignoring old recipe for target 'build/amd64-release' /bin/mkdir -p /magus/work/usr/mports/math/yices/work/fake-inst-amd64/usr/local/bin /bin/mkdir -p /magus/work/usr/mports/math/yices/work/fake-inst-amd64/usr/local/lib /bin/mkdir -p /magus/work/usr/mports/math/yices/work/fake-inst-amd64/usr/local/include /usr/bin/install -c -m 664 build/amd64-release/../../src/include/* /magus/work/usr/mports/math/yices/work/fake-inst-amd64/usr/local/include install: build/amd64-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...