Anything else i have to do? Or only wait until somebody picks it up and commits it?
BR Simon 2016-10-17 9:41 GMT+02:00, Simon Mages <mages.si...@googlemail.com>: > Hi, > > 2016-10-16 19:17 GMT+02:00, Jeremie Courreges-Anglas <j...@wxcvbn.org>: >> Simon Mages <mages.si...@googlemail.com> writes: >> >>> Hi, >>> >>> 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 >>>>> one? >>>> >>>> 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 >>> devel/cbmc >>> devel/cbmc/Makefile >>> devel/cbmc/patches >>> devel/cbmc/patches/patch-src_big-int_bigint-test_cc >>> devel/cbmc/patches/patch-src_common~ >>> devel/cbmc/patches/patch-src_big-int_bigint_cc >>> devel/cbmc/patches/patch-src_common >>> devel/cbmc/patches/patch-minisat-2_2_1_minisat_core_Solver_cc >>> devel/cbmc/patches/patch-minisat-2_2_1_minisat_core_SolverTypes_h >>> devel/cbmc/patches/patch-minisat-2_2_1_minisat_mtl_IntTypes_h >>> devel/cbmc/patches/patch-minisat-2_2_1_minisat_mtl_Vec_h >>> devel/cbmc/patches/patch-minisat-2_2_1_minisat_simp_SimpSolver_cc >>> devel/cbmc/patches/patch-minisat-2_2_1_minisat_utils_Options_h >>> devel/cbmc/patches/patch-minisat-2_2_1_minisat_utils_ParseUtils_h >>> devel/cbmc/distinfo >>> devel/cbmc/pkg >>> devel/cbmc/pkg/PLIST >>> devel/cbmc/pkg/DESCR >>> >>> 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 >> section: >> >> -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. > > BR > Simon >
