[PPL-devel] Errors in PPL

[Jonathan Hansen]

Thanks a lot!

Now, when I do this, I get the following error after running ./configure
and then 'make':

BUGS.cc:25:3: error: use of undeclared identifier 'nullptr'
2 warnings and 1 error generated.

Den lør. 13. feb. 2021 kl. 20.12 skrev Roberto Bagnara <bagnara at cs.unipr.it
>:

> On 13/02/21 19:54, Jonathan Hansen wrote:
> > Hi Roberto,
> >
> > I found your mail online.
> >
> > I'm trying to install PPL on my MacBook in order to be able to use
> PRISM-Games.
> >
> > However, I keep getting errors and can't find any solution. I hope you
> can help.
> >
> > When I use for instance the ZIP-file from the website and the
> ./configure and make commands, then I get an error message:
> >
> > ./OR_Matrix_inlines.hh:100:8: error: missing 'typename' prior to
> dependent type template name 'OR_Matrix<T>::Pseudo_Row'
> > inline OR_Matrix<T>::Pseudo_Row<U>&
> >
> > I have tried using the --with-cxxflags command without success.
> >
> > I have also tried to clone the git repository. However, that contains no
> ./configure file and I can't seem to generate it.
> >
> > Thanks in advance for your help.
> >
> > Jonathan.
>
> Hi Jonathan,
>
> Thanks for getting in touch, but let me suggest to use the
> ppl-devel at cs.unipr.it mailing list for this.
>
> I suggest you clone the Git repository, and checkout the "devel" branch.
> In order to generate the configure script, you need the Autotools.
> We internally use macports.  Now, I am not sure of the list of packages
> you need to compile the PPL under OS X, but you need, at least:
>
> sudo port -N install autoconf automake
>
> Maybe you also need
>
> sudo port -N install coreutils gsed
>
> Then in the top-level source directory you should use the command
>
> autoreconf
>
> which will generate the 'configure' script.
> Please let us know how it goes and whether you have further
> questions.
> Kind regards,
>
>     Roberto
>
> --
>       Prof. Roberto Bagnara
>
> Applied Formal Methods Laboratory - University of Parma, Italy
> mailto:bagnara at cs.unipr.it
>                                BUGSENG srl - http://bugseng.com
>                                mailto:roberto.bagnara at bugseng.com
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20210213/a2d10db0/attachment.htm>