[PPL-devel] Errors in PPL

[Roberto Bagnara]

On 13/02/21 20:32, Jonathan Hansen wrote:
> 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.

When you wrote that you were "using the --with-cxxflags command",
I assumed you were running the 'configure' script using (among possibly
others) the option

   --with-cxxflags="-std=c++11"

 From the error you get, I see this is not the case.
Please use the indicated configure option.
Kind regards,

    Roberto

> Den lør. 13. feb. 2021 kl. 20.12 skrev Roberto Bagnara <bagnara at cs.unipr.it <mailto: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 <mailto: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 <mailto:bagnara at cs.unipr.it>
>                                     BUGSENG srl - http://bugseng.com
>                                     mailto:roberto.bagnara at bugseng.com <mailto:roberto.bagnara at bugseng.com>
> 


-- 
      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