HomeFreeBSD

math/why3-spark: Try to fix build on F10

Tags
None
Referenced Files
F10: profile-twitter_-profile.jpg
Jun 13 2016, 8:05 PM
Subscribers
None

Description

math/why3-spark: Try to fix build on F10

CC was defined twice in the makefile; once by the ${CC} variable
and later redefined to "gcc". FreeBSD 10 doesn't like that.

Details

Provenance
marinoAuthored on
Parents
rP416866: net-im/telepathy-sofiasip: update MAINTAINER to his new address
Branches
Unknown
Tags
Unknown