[PPL-devel] can you create a brew recipe so that mac users can install PPL automatically ?

Francois Berenger francois.berenger at inria.fr
Tue Jun 23 11:23:52 CEST 2015


I packaged your software for Mac OS X:

https://github.com/Homebrew/homebrew/pull/40986

brew install ppl

should work from now on

On 05/21/2015 10:01 AM, Roberto Bagnara wrote:
> On 05/21/15 09:42, Francois Berenger wrote:
>> Cf. http://brew.sh/ for the homebrew package manager for macos.
>
> Hello Francois,
>
> support at bugseng.com is for BUGSENG customers.
> Judging from the subject, the message was meant for
> ppl-devel at cs.unipr.it, right?
> Kind regards,
>
>     Roberto
>

-- 
Regards,
Francois.
"When in doubt, use more types"




More information about the PPL-devel mailing list