2016-10-16 19:17 GMT+02:00, Jeremie Courreges-Anglas <j...@wxcvbn.org>:
> Simon Mages <mages.si...@googlemail.com> writes:
>> 2016-10-16 12:14 GMT+02:00, Stuart Henderson <s...@spacehopper.org>:
>>> On 2016/10/16 12:09, Simon Mages wrote:
>>>> Ok, thanks for the feedback.
>>>> But i really don't get the llvm dependency.
>>>> I used the llvm in base on current to build
>>>> this port. Why shouldi suddenly use this
>>> LLVM is not enabled in base. Anyway, setting MODULES=lang/clang will
>>> add the dep automatically.
>> Finally i got it, i was working with wrong assumptions, sorry for that.
>> Attached the new port.
>> # tar zcvf /tmp/cbmc.tar.gz devel/cbmc
>> Lets see if now everything is alright :)
> Looks nicer, here are a few improvements:
> - some spacing nits
> - use MASTER_SITE_DEBIAN
> - as Stuart pointed out, no need for p5-libwww any more
> - respect CFLAGS, CXXFLAGS and LDFLAGS, using MAKE_FLAGS; this helps
> a lot for debug builds
> - instead of putting the minisat2 patches in the port patches/
> directory, we could also just use upstream's patch in post-extract.
> From my POV those patches aren't my concern, so I don't care about
> them being tracked by CVS.
> - patch the include file that provides the "compatibility" goo for
> alloca, instead of patching consumers.
> Updated tarball below.
>From my point of view we can just take the version you send.
Its very interesting to see what the ports framework can do, thanks a lot @all
people who replied so far :)
> Note: you create a dedicated section where to set CP_CXXFLAGS, LINKLIB,
> etc on OpenBSD, an alternative could be to just amend the FreeBSD
> -else ifeq ($(filter-out FreeBSD,$(BUILD_ENV_)),)
> +else ifeq ($(filter-out FreeBSD OpenBSD,$(BUILD_ENV_)),)
> I doubt that it matters much, upstream may have an opinion already.
The problem here is that the version of 'ar' we are using does not
support the -T flag.
Thats why i created the OpenBSD section in the first place.