[Bug 211903] [New Port] math/eprover : Theorem prover for full first-order logic with equality

[bugzilla-noreply at freebsd.org]

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=211903

--- Comment #6 from Yuri Victorovich <yuri at rawbw.com> ---
Other items to fix:
* EXTRACT_SFX needs to be replaced with USES=tar:tgz
* You can't patch "PREFIX=/usr/local/bin" into configure. This has to work
through the environment variable, and has to be based on ${PREFIX} variable
* The rest of configure patch needs to be in Makefile (post-patch,
REINPLACE_CMD, etc)
* patch-PROVER_eproof__ram needs to be replaced with USES=shebangfix
* USE_GCC=any not needed unless it doesn't build with clang.
* HAS_CONFIGURE needs to be replaced with GNU_CONFIGURE=yes
* --man-prefix= can't include /usr/local, it should be ${PREFIX}

Thanks!

-- 
You are receiving this mail because:
You are the assignee for the bug.