Package Details: mcrl2 202307.1-1

Git Clone URL: https://aur.archlinux.org/mcrl2.git (read-only, click to copy)
Package Base: mcrl2
Description: A formal specification language with an associated toolset.
Upstream URL: http://www.mcrl2.org
Licenses: boost
Conflicts: mcrl2
Provides: mcrl2
Submitter: None
Maintainer: erackron (Kevinjil)
Last Packager: Kevinjil
Votes: 7
Popularity: 0.000000
First Submitted: 2009-07-04 22:11 (UTC)
Last Updated: 2023-11-15 15:29 (UTC)

Dependencies (7)

Required by (0)

Sources (1)

Latest Comments

1 2 Next › Last »

erackron commented on 2021-09-12 11:53 (UTC)

Currently validating the build for the new version, should be updated soon

JonathanB commented on 2021-09-12 11:48 (UTC)

New version is available. Version: 202106.0 Checksum: 9b386afb184ef375f7768a4c6bfef2431af5050e920816e57a87ed531a1bfdf5

erackron commented on 2017-09-29 12:08 (UTC)

Yet another adoption of the package. The version has been updated from 201409.1 to the 201707.1 version.

iikoe commented on 2016-09-26 14:46 (UTC)

Adopted package and added GCC 5 as a build dependency. The build failed because of a problem building mCRL2 with GCC 6: https://bugs.debian.org/811860 (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 (UTC)

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 (UTC)

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(). Aborting... The build failed.

bezirg commented on 2014-09-08 19:40 (UTC)

Updated to latest stable.

TomBoshoven commented on 2013-11-14 09:22 (UTC)

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 (UTC)

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

tjanpool commented on 2013-11-14 08:08 (UTC)

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)