Re: [NEW] cbmc - Bounded Model Checker for C and C++

2016-10-22 Thread Jeremie Courreges-Anglas
cbmc has been imported. Thanks, -- jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE

Re: [NEW] cbmc - Bounded Model Checker for C and C++

2016-10-20 Thread Jeremie Courreges-Anglas
Stuart Henderson writes: > On 2016/10/20 22:11, Jeremie Courreges-Anglas wrote: >> Jeremie Courreges-Anglas writes: >> >> > Simon Mages writes: >> > >> >> Anything else i have to do? >> >> >> >> Or only wait until somebody

Re: [NEW] cbmc - Bounded Model Checker for C and C++

2016-10-20 Thread Stuart Henderson
On 2016/10/20 22:11, Jeremie Courreges-Anglas wrote: > Jeremie Courreges-Anglas writes: > > > Simon Mages writes: > > > >> Anything else i have to do? > >> > >> Or only wait until somebody picks it up and commits it? > > > > New ports must be

Re: [NEW] cbmc - Bounded Model Checker for C and C++

2016-10-20 Thread Jeremie Courreges-Anglas
Jeremie Courreges-Anglas writes: > Simon Mages writes: > >> Anything else i have to do? >> >> Or only wait until somebody picks it up and commits it? > > New ports must be reviewed by at least a second developer. > > As far as I'm concerned, the port

Re: [NEW] cbmc - Bounded Model Checker for C and C++

2016-10-18 Thread Jeremie Courreges-Anglas
Simon Mages writes: > Anything else i have to do? > > Or only wait until somebody picks it up and commits it? New ports must be reviewed by at least a second developer. As far as I'm concerned, the port looks good as is. ok jca@ is if someone wants to import it.

Re: [NEW] cbmc - Bounded Model Checker for C and C++

2016-10-18 Thread Simon Mages
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 : > Hi, > > 2016-10-16 19:17 GMT+02:00, Jeremie Courreges-Anglas : >> Simon Mages

Re: [NEW] cbmc - Bounded Model Checker for C and C++

2016-10-17 Thread Simon Mages
Hi, 2016-10-16 19:17 GMT+02:00, Jeremie Courreges-Anglas : > Simon Mages writes: > >> Hi, >> >> 2016-10-16 12:14 GMT+02:00, Stuart Henderson : >>> On 2016/10/16 12:09, Simon Mages wrote: Ok, thanks for the feedback.

Re: [NEW] cbmc - Bounded Model Checker for C and C++

2016-10-16 Thread Jeremie Courreges-Anglas
Simon Mages writes: > Hi, > > 2016-10-16 12:14 GMT+02:00, Stuart Henderson : >> 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

Re: [NEW] cbmc - Bounded Model Checker for C and C++

2016-10-16 Thread Simon Mages
Hi, 2016-10-16 12:14 GMT+02:00, Stuart Henderson : > 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? >

Re: [NEW] cbmc - Bounded Model Checker for C and C++

2016-10-16 Thread Stuart Henderson
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

Re: [NEW] cbmc - Bounded Model Checker for C and C++

2016-10-16 Thread Simon Mages
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? BR Simon Am Sonntag, 16. Oktober 2016 schrieb Stuart Henderson : > On 2016/10/16 07:58, Simon Mages wrote: > > > first, nice

Re: [NEW] cbmc - Bounded Model Checker for C and C++

2016-10-16 Thread Stuart Henderson
On 2016/10/16 07:58, Simon Mages wrote: > > first, nice port. I would like to test my own code with it. But you > > missed the clang dependency. > > Well, i thought that a new port will not be taged for a past release. If > this is wrong i can > add the dependency. I don't understand what

Re: [NEW] cbmc - Bounded Model Checker for C and C++

2016-10-16 Thread Simon Mages
Hi, Am Samstag, 15. Oktober 2016 schrieb Jan Klemkow : > Hi Simon, > > first, nice port. I would like to test my own code with it. But you > missed the clang dependency. Well, i thought that a new port will not be taged for a past release. If this is wrong i can add the dependency. > Your

Re: [NEW] cbmc - Bounded Model Checker for C and C++

2016-10-15 Thread Jan Klemkow
Hi Simon, first, nice port. I would like to test my own code with it. But you missed the clang dependency. Your port is new and don't need a REVISION. bsd,port.mk(5): REVISION Revision number of the current package. Defaults to empty (very first package),... Why do you not