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 :) BR Simon
cbmc.tar.gz
Description: GNU Zip compressed data
