Package Details: mcrl2 201409.1-2

Git Clone URL: (read-only)
Package Base: mcrl2
Description: A formal specification language with an associated toolset.
Upstream URL:
Licenses: custom
Submitter: None
Maintainer: iikoe
Last Packager: iikoe
Votes: 2
Popularity: 0.990619
First Submitted: 2009-07-04 22:11
Last Updated: 2016-09-26 14:40

Dependencies (4)

Required by (0)

Sources (1)

Latest Comments

iikoe commented on 2016-09-26 14:46

Adopted package and added GCC 5 as a build dependency.

The build failed because of a problem building mCRL2 with GCC 6:

(I forgot to update the maintainer comment in the PKGBUILD but imo that's not worth another commit)

tjanpool commented on 2016-07-20 11:09

Only way I know how to install it easily on Manjaro/Arch at the moment is by starting this download to get the dependencies in a lazy way and then downloading the deb file from the mCRL2 site. It be night build, it be the normal build. So yes, one of the Ubuntu versions. Extract the data.tar.gz from the deb file and then place the materials of that data.tar.gz at the locations by:
sudo tar -zxvf data.tar.gz -C /

Yes, I'm not charmed my self for this workaround.

heinrich5991 commented on 2016-06-30 08:47

I get an error while compiling:

[ 11%] Building CXX object libraries/data/CMakeFiles/mcrl2_data.dir/source/detail/rewrite/with_prover.cpp.o
In file included from /var/tmp/packerbuild-1000/mcrl2/mcrl2/src/mcrl2-201409.1/libraries/data/include/mcrl2/data/rewriter.h:21:0,
from /var/tmp/packerbuild-1000/mcrl2/mcrl2/src/mcrl2-201409.1/libraries/data/include/mcrl2/data/detail/bdd_prover.h:17,
from /var/tmp/packerbuild-1000/mcrl2/mcrl2/src/mcrl2-201409.1/libraries/data/source/detail/rewrite/with_prover.cpp:17:
/var/tmp/packerbuild-1000/mcrl2/mcrl2/src/mcrl2-201409.1/libraries/data/include/mcrl2/data/expression_traits.h: In static member function ‘static const mcrl2::data::data_expression& mcrl2::data::expression_traits<Expression>::head(const mcrl2::data::data_expression&)’:
/var/tmp/packerbuild-1000/mcrl2/mcrl2/src/mcrl2-201409.1/libraries/data/include/mcrl2/data/expression_traits.h:349:45: error: no matching function for call to ‘down_cast(const mcrl2::data::data_expression&)’
return atermpp::down_cast<application>(e).head();
In file included from /var/tmp/packerbuild-1000/mcrl2/mcrl2/src/mcrl2-201409.1/libraries/atermpp/include/mcrl2/atermpp/detail/aterm_appl.h:15:0,
from /var/tmp/packerbuild-1000/mcrl2/mcrl2/src/mcrl2-201409.1/libraries/atermpp/include/mcrl2/atermpp/detail/aterm_appl_iterator.h:15,
from /var/tmp/packerbuild-1000/mcrl2/mcrl2/src/mcrl2-201409.1/libraries/atermpp/include/mcrl2/atermpp/aterm_appl.h:20,
from /var/tmp/packerbuild-1000/mcrl2/mcrl2/src/mcrl2-201409.1/libraries/data/include/mcrl2/data/data_specification.h:21,
from /var/tmp/packerbuild-1000/mcrl2/mcrl2/src/mcrl2-201409.1/libraries/data/source/detail/rewrite/with_prover.cpp:16:
/var/tmp/packerbuild-1000/mcrl2/mcrl2/src/mcrl2-201409.1/libraries/atermpp/include/mcrl2/atermpp/aterm.h:276:16: note: candidate: template<class Derived, class Base> const Derived& atermpp::down_cast(const Base&, typename std::enable_if<(atermpp::is_convertible<Base, Derived>::value && (! std::is_base_of<Derived, Base>::value))>::type*)
const Derived& down_cast(const Base& t,
/var/tmp/packerbuild-1000/mcrl2/mcrl2/src/mcrl2-201409.1/libraries/atermpp/include/mcrl2/atermpp/aterm.h:276:16: note: template argument deduction/substitution failed:
make[2]: *** [libraries/data/CMakeFiles/mcrl2_data.dir/build.make:159: libraries/data/CMakeFiles/mcrl2_data.dir/source/detail/rewrite/with_prover.cpp.o] Error 1
make[1]: *** [CMakeFiles/Makefile2:1643: libraries/data/CMakeFiles/mcrl2_data.dir/all] Error 2
make: *** [Makefile:161: all] Error 2
==> ERROR: A failure occurred in build().
The build failed.

bezirg commented on 2014-09-08 19:40

Updated to latest stable.

TomBoshoven commented on 2013-11-14 09:22

I'm sorry tjanpool, but this is an old package which I no longer use.
I will orphan it so you can adopt and update if you want.
I have an old (but working I think) SVN version of this package locally. I will also add this to the AUR (name is mcrl2-svn).

tjanpool commented on 2013-11-14 08:14

Big thanks for making this Aur. Did miss to add that comment in my previous command.

tjanpool commented on 2013-11-14 08:08

I installed boost and boost-build to make install work, boost headers were missing, don't know who of the two did the trick. Are you also able to put a not for Arch based distro users that this AUR package does exist. Its a same for you're efforts if the first thought of a possible user is: I have to build this myself, if you're lucky they think: is this not something for a Aur, lets look. Woot Woot, there is already one. (happened to me! srry not so smart to look for AUR first)

TomBoshoven commented on 2012-03-06 14:09

Upgraded to version 201202.0.

TomBoshoven commented on 2011-12-30 12:28

Adopted newest version (201107.1).
Let me know if there are any problems.

TomBoshoven commented on 2011-12-29 13:44

PKGBUILD for newest version (201107.1):