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@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
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@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@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@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com
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@cs.unipr.it mailto:bagnara@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@cs.unipr.it <mailto:ppl-devel@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@cs.unipr.it <mailto:bagnara@cs.unipr.it> BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com <mailto:roberto.bagnara@bugseng.com>
participants (2)
-
Jonathan Hansen -
Roberto Bagnara