cbmc has been imported.
Thanks,
--
jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE
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
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
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
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.
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
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.
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
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?
>
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
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
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
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
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
14 matches
Mail list logo