<div dir="ltr">Thanks a lot!<div><br></div><div>Now, when I do this, I get the following error after running ./configure and then 'make':</div><div><br></div><div>BUGS.cc:25:3: error: use of undeclared identifier 'nullptr'<br>2 warnings and 1 error generated.<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Den lør. 13. feb. 2021 kl. 20.12 skrev Roberto Bagnara <<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</a>>:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On 13/02/21 19:54, Jonathan Hansen wrote:<br>
> Hi Roberto,<br>
> <br>
> I found your mail online.<br>
> <br>
> I'm trying to install PPL on my MacBook in order to be able to use PRISM-Games.<br>
> <br>
> However, I keep getting errors and can't find any solution. I hope you can help.<br>
> <br>
> When I use for instance the ZIP-file from the website and the ./configure and make commands, then I get an error message:<br>
> <br>
> ./OR_Matrix_inlines.hh:100:8: error: missing 'typename' prior to dependent type template name 'OR_Matrix<T>::Pseudo_Row'<br>
> inline OR_Matrix<T>::Pseudo_Row<U>&<br>
> <br>
> I have tried using the --with-cxxflags command without success.<br>
> <br>
> I have also tried to clone the git repository. However, that contains no ./configure file and I can't seem to generate it.<br>
> <br>
> Thanks in advance for your help.<br>
> <br>
> Jonathan.<br>
<br>
Hi Jonathan,<br>
<br>
Thanks for getting in touch, but let me suggest to use the<br>
<a href="mailto:ppl-devel@cs.unipr.it" target="_blank">ppl-devel@cs.unipr.it</a> mailing list for this.<br>
<br>
I suggest you clone the Git repository, and checkout the "devel" branch.<br>
In order to generate the configure script, you need the Autotools.<br>
We internally use macports.  Now, I am not sure of the list of packages<br>
you need to compile the PPL under OS X, but you need, at least:<br>
<br>
sudo port -N install autoconf automake<br>
<br>
Maybe you also need<br>
<br>
sudo port -N install coreutils gsed<br>
<br>
Then in the top-level source directory you should use the command<br>
<br>
autoreconf<br>
<br>
which will generate the 'configure' script.<br>
Please let us know how it goes and whether you have further<br>
questions.<br>
Kind regards,<br>
<br>
    Roberto<br>
<br>
-- <br>
      Prof. Roberto Bagnara<br>
<br>
Applied Formal Methods Laboratory - University of Parma, Italy<br>
mailto:<a href="mailto:bagnara@cs.unipr.it" target="_blank">bagnara@cs.unipr.it</a><br>
                               BUGSENG srl - <a href="http://bugseng.com" rel="noreferrer" target="_blank">http://bugseng.com</a><br>
                               mailto:<a href="mailto:roberto.bagnara@bugseng.com" target="_blank">roberto.bagnara@bugseng.com</a><br>
</blockquote></div>