search

SRI-CSL / yices2

The Yices SMT Solver
https://yices.csl.sri.com/
GNU General Public License v3.0
368 stars 46 forks source link

Makefile.build:56: [...]/configs/make.include.amd64-portbld-freebsd13.0: No such file or directory #398

Closed yurivict closed 2 years ago

yurivict commented 2 years ago

Build fails on FreeBSD:

===>  Building for yices-2.6.4
gmake[1]: Entering directory '/disk-samsung/freebsd-ports/math/yices/work/yices2-Yices-2.6.4'
Mode:     release
Platform: amd64
gmake[2]: Entering directory '/disk-samsung/freebsd-ports/math/yices/work/yices2-Yices-2.6.4'
Makefile.build:56: /disk-samsung/freebsd-ports/math/yices/work/yices2-Yices-2.6.4/configs/make.include.amd64-portbld-freebsd13.0: No such file or directory
gmake[2]: *** No rule to make target '/disk-samsung/freebsd-ports/math/yices/work/yices2-Yices-2.6.4/configs/make.include.amd64-portbld-freebsd13.0'.  Stop.
gmake[2]: Leaving directory '/disk-samsung/freebsd-ports/math/yices/work/yices2-Yices-2.6.4'
gmake[1]: *** [Makefile:284: all] Error 2
ianamason commented 2 years ago

What was the name of the file in 

/disk-samsung/freebsd-ports/math/yices/work/yices2-Yices-2.6.4/configs/

that the configure generated?

yurivict commented 2 years ago

Sorry, I was able to build after this using the tarball.

Thank you for your help.