debian/0000775000000000000000000000000012045735156007200 5ustar debian/control0000664000000000000000000000241712045733006010577 0ustar Source: mcrl2 Section: math Priority: extra Maintainer: Ubuntu Developers XSBC-Original-Maintainer: Jeroen Keiren Uploaders: Paul van Tilburg Build-Depends: debhelper (>= 5), cmake, libboost-system-dev (>= 1.37), libglu1-mesa-dev (>= 7.0.1), libgl2ps-dev, qt4-qmake, libqtcore4, libqtgui4, libqt4-xml, libqt4-opengl, libqt4-dev, libqt4-opengl-dev Standards-Version: 3.9.3 Homepage: http://www.mcrl2.org/ Vcs-Browser: https://svn.win.tue.nl/viewcvs/MCRL2/packaging/mcrl2/trunk/ Vcs-Svn: https://svn.win.tue.nl/repos/MCRL2/packaging/mcrl2/trunk/ Package: mcrl2 Architecture: any Depends: ${shlibs:Depends}, ${misc:Depends} Description: formal specification language toolset mCRL2 stands for micro Common Representation Language 2. It is a specification language that can be used to specify and analyse the behaviour of distributed systems and protocols and is the successor to muCRL. Using its accompanying toolset, systems can be analysed and verified automatically. . This toolset supports a collection of tools for linearisation, simulation, state-space exploration and generation and tools to optimise and analyse specifications. Moreover, state spaces can be manipulated, visualised and analysed. debian/menu0000664000000000000000000000026411425764116010070 0ustar ?package(mcrl2): \ needs="X11" \ section="Applications/Science/Engineering" \ title="mCRL2 GUI" \ command="/usr/bin/mcrl2-gui" \ hints="Analysis,Verification" debian/TODO0000664000000000000000000000035411153762732007671 0ustar mCRL2 Debian packaging ToDo =========================== * Split the toolset in GUI and CLI tools? * Packate TinyXML++ (3rdparty/ticpp) separately. * Get rid of 3rd-party/boost/ completely once build-boost has been updated in Debian. debian/copyright0000664000000000000000000001642111721456516011137 0ustar This package was debianized by Paul van Tilburg on Wed, 16 Jan 2008 15:48:45 +0100. It was downloaded from http://www.mcrl2.org/. Upstream Authors: * Jan Friso Groote , * Jeroen Keiren , * Aad Mathijssen , * Simona Orzan , * Bas Ploeger , * Frank Stappers , * Carst Tankink , * Yaroslav Usenko , * Muck van Weerdenburg , * Wieger Wesselink , * Jeroen van der Wulp . The following copyright holds for all files except the files found in the 3rd-party subdirectory (for which the copyright and license is given below): Copyright (C) 2005-2012 Eindhoven University of Technology Boost Software License - Version 1.0 - August 17th, 2003 Permission is hereby granted, free of charge, to any person or organization obtaining a copy of the software and accompanying documentation covered by this license (the "Software") to use, reproduce, display, distribute, execute, and transmit the Software, and to prepare derivative works of the Software, and to permit third-parties to whom the Software is furnished to do so, all subject to the following: The copyright notices in the Software and this entire statement, including the above license grant, this restriction and the following disclaimer, must be included in all copies of the Software, in whole or in part, and all derivative works of the Software, unless such copies or derivative works are solely in the form of machine-executable object code generated by a source language processor. THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, TITLE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE COPYRIGHT HOLDERS OR ANYONE DISTRIBUTING THE SOFTWARE BE LIABLE FOR ANY DAMAGES OR OTHER LIABILITY, WHETHER IN CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. --- The files in 3rd-party/aterm are Copyright (C) 2002-2007 CWI, except for 3rd-party/aterm/source/md5.* and 3rd-party/aterm/include/aterm/md5.h which are Copyright (C) 1991-2, RSA Data Security, Inc. The files are licensed and redistributed under the BSD license: Copyright (c) The Regents of the University of California. All rights reserved. Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: 1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer. 2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution. 3. Neither the name of the University nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission. THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. --- The files in 3rd-party/gl2ps are Copyright (C) 1999-2006 Christophe Geuzaine and are licensed and redistributed under the GNU Library General Public License, version 2 or any later version. On Debian systems, the complete text of this license can be found in /usr/share/common-licenses/LGPL-2. --- The files in 3rd-party/svc are Copyright (C) 2000 Stichting Mathematisch Centrum and are licensed and redistributed under the GNU Lesser General Public License, version 2.1 or any later version. On Debian systems, the complete text of this license can be found in /usr/share/common-licenses/GPL-2. --- The files 3rd-party/ticpp/*/ticpp* are (C) 2006 Ryan Pusztai, Ryan Mulder and are licensed under the following license: Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. The files 3rd-party/ticpp/*/tinyxml* are (C) 2000-2006 Lee Thomason and are licensed under the following license: This software is provided 'as-is', without any express or implied warranty. In no event will the authors be held liable for any damages arising from the use of this software. Permission is granted to anyone to use this software for any purpose, including commercial applications, and to alter it and redistribute it freely, subject to the following restrictions: 1. The origin of this software must not be misrepresented; you must not claim that you wrote the original software. If you use this software in a product, an acknowledgment in the product documentation would be appreciated but is not required. 2. Altered source versions must be plainly marked as such, and must not be misrepresented as being the original software. 3. This notice may not be removed or altered from any source distribution. --- The files in 3rd-party/tr are Copyright (C) 1997 Brian Paul and are licensed and redistributed under the GNU Library Public License, version 2. On Debian systems, the complete text of this license can be found in /usr/share/common-licenses/LGPL-2. --- The Debian packaging is Copyright (C) 2008, Paul van Tilburg and is licensed under the GPL. On Debian systems, the complete text of this license can be found in /usr/share/common-licenses/GPL'. debian/patches/0000775000000000000000000000000012044270574010624 5ustar debian/patches/series0000664000000000000000000000000012035762020012017 0ustar debian/rules0000775000000000000000000000611512045734676010271 0ustar #!/usr/bin/make -f # -*- makefile -*- # # Makefile to build the mCRL2 package using debhelper. # Uncomment this to turn on verbose mode. #export DH_VERBOSE=1 # These are used for cross-compiling and for saving the configure script # from having to guess our platform (since we know it already) DEB_HOST_GNU_TYPE ?= $(shell dpkg-architecture -qDEB_HOST_GNU_TYPE) DEB_BUILD_GNU_TYPE ?= $(shell dpkg-architecture -qDEB_BUILD_GNU_TYPE) CFLAGS = -Wall ifneq (,$(findstring noopt,$(DEB_BUILD_OPTIONS))) CFLAGS_RELEASE = -O0 -g -DNDEBUG $(CFLAGS) CFLAGS_DEBUG = -O0 -g $(CFLAGS) else CFLAGS_RELEASE = -O2 -g -DNDEBUG $(CFLAGS) CFLAGS_DEBUG = -O2 -g $(CFLAGS) endif BUILD_TYPE = Release ifneq (,$(findstring debug,$(DEB_BUILD_OPTIONS))) BUILD_TYPE = Debug endif ifneq (,$(filter parallel=%,$(DEB_BUILD_OPTIONS))) NUMJOBS = $(patsubst parallel=%,%,$(filter parallel=%,$(DEB_BUILD_OPTIONS))) MAKEFLAGS += -j$(NUMJOBS) endif BUILD_FLAGS = -DCMAKE_INSTALL_PREFIX="/usr" \ -DCMAKE_INSTALL_RPATH="/usr/lib/mcrl2" \ -DCMAKE_BUILD_TYPE="$(BUILD_TYPE)" \ -DCMAKE_C_FLAGS_RELEASE="$(CFLAGS_RELEASE)" \ -DCMAKE_VERBOSE_MAKEFILE="ON" \ -DMCRL2_ENABLE_EXPERIMENTAL="OFF" \ -DMCRL2_ENABLE_DEPRECATED="OFF" \ -DMCRL2_ENABLE_TEST_TARGETS="OFF" \ -DMCRL2_MAN_PAGES="ON" \ -DMCRL2_PACKAGE_RELEASE="ON" ifneq ($(DEB_HOST_GNU_TYPE),$(DEB_BUILD_GNU_TYPE)) BUILD_FLAGS += -DCMAKE_SYSTEM_NAME=$(shell dpkg-architecture -qDEB_BUILD_ARCH_OS) \ -DCMAKE_SYSTEM_PROCESSOR=$(shell dpkg-architecture -qDEB_BUILD_ARCH_CPU) \ -DCMAKE_C_COMPILER=$(DEB_BUILD_GNU_TYPE)-gcc endif ifeq ($(DEB_HOST_ARCH),$(findstring $(DEB_HOST_ARCH), armel armhf)) BUILD_FLAGS += -DMCRL2_ENABLE_GUI_TOOLS="OFF" endif SRC := $(CURDIR) BUILD := $(CURDIR)/debian/build TARGET := $(CURDIR)/debian/mcrl2 configure: configure-stamp configure-stamp: dh_testdir [ -d $(BUILD) ] || mkdir $(BUILD) cd $(BUILD) && \ cmake $(BUILD_FLAGS) $(CURDIR) touch $@ build: build-arch build-indep build-arch: build-stamp build-indep: build-stamp build-stamp: configure dh_testdir $(MAKE) -C $(BUILD) $(MAKEFLAGS) touch $@ clean: dh_testdir dh_testroot rm -rf $(BUILD) rm -f configure-stamp build-stamp dh_clean install: build dh_testdir dh_testroot dh_clean -k dh_installdirs $(MAKE) -C $(BUILD) install DESTDIR=$(TARGET) # Generate and install the man pages. export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$(BUILD)/usr/lib/mcrl2 $(MAKE) -C $(BUILD) $(MAKEFLAGS) $(MAKE) -C $(BUILD) install DESTDIR=$(TARGET) # Build architecture-independent files here. binary-indep: build install # We have nothing to do by default. # Build architecture-dependent files here. binary-arch: build install dh_testdir dh_testroot dh_installchangelogs dh_installdocs dh_installexamples dh_installmenu dh_installman dh_link dh_strip dh_compress dh_fixperms dh_makeshlibs -V --exclude=/usr/lib/mcrl2 dh_installdeb dh_shlibdeps dh_gencontrol dh_md5sums dh_builddeb binary: binary-indep binary-arch .PHONY: build build-arch build-indexp clean binary-indep binary-arch binary install debian/changelog0000664000000000000000000001272612045736126011060 0ustar mcrl2 (201210.1-1ubuntu1) raring; urgency=low * Fix FTBFS on arm*: Disable GUI tools on arm* as they require QtOpenGL (GLES) and GL in the same binary. -- Felix Geyer Mon, 05 Nov 2012 13:50:03 +0100 mcrl2 (201210.1-1) unstable; urgency=low [ Jeroen Keiren ] * New upstream (bugfix) release. -- Jeroen Keiren Fri, 26 Oct 2012 07:50:49 +0200 mcrl2 (201210.0-1) unstable; urgency=low [ Jeroen Keiren ] * New upstream release. * debian/control: - Removed wxWidgets dependencies - Removed dependencies to all boost libraries except boost-system - Added qt dependencies * debian/rules: - Removed reference to wxSTC * debian/patches/series, debian/patches/dparser_header_fixes.patch: - Removed patch that was incorporated upstream [ Paul van Tilburg ] * Upload to Debian unstable -- Paul van Tilburg Fri, 12 Oct 2012 11:35:41 +0200 mcrl2 (201202.0-2) unstable; urgency=low [ Jeroen Keiren ] * Bugfix upload (closes: #661092). * debian/patches/series, debian/patches/dparser_header_fixes.patch: - Install headers belonging to dparser in their own directory. [ Paul van Tilburg ] * debian/control: - Changed myself to uploaded, made Jeroen maintainer. - Bumped standards version to 3.9.3. -- Paul van Tilburg Fri, 24 Feb 2012 16:16:02 +0100 mcrl2 (201202.0-1) unstable; urgency=low * New upstream release. * debian/patches/series, debian/patches/lintian_fixes.patch: - Dropped because it has been incorporated upstream. * debian/rules: - Set MCRL2_PACKAGE_RELEASE, which is required by upstream for proper version numbering. * debian/watch: - Update to the official naming convention used by upstream. * debian/copyright: - Update the copyright period. -- Jeroen Keiren Thu, 16 Feb 2012 15:24:08 +0100 mcrl2 (201107.1-1) unstable; urgency=low * New upstream bugfix release: - Fixes infinite loop in lpsconfcheck. * debian/README.source: Removed, the source is no longer cleaned. * debian/TODO: Marked the boost-removal task as done! * debian/patches/series, debian/patches/lintian_fixes.patch: - Dropped because it has been incorporated upstream. * debian/rules: - No longer set variables CMAKE_C_FLAGS_DEBUG, MCRL2_BUILD_IN_SOURCE, and MCRL2_USE_BOOST_INTERNAL as they are no longer used by the project. * debian/watch: Updated to also track bugfix releases. -- Paul van Tilburg Thu, 20 Oct 2011 15:28:23 +0200 mcrl2 (201107-1) unstable; urgency=low * New upstream release (closes: #625156). * debian/control: - Bumped standards version to 3.9.2. - Removed the initial "the mCRL2" from the description. - Added a build depend on libgl2ps-dev. * debian/patches: - Removed fix_manpage_generation.patch; fixed upstream. - Added lintian_fixes.patch to resolve some lintian issues. * debian/rules; - Added targets build-arch and build-indep to comply with (future) policy. -- Paul van Tilburg Mon, 18 Jul 2011 16:03:38 +0200 mcrl2 (201103-1) unstable; urgency=low * New upstream release (closes: #615678). * Upload to unstable. * debian/patches: - Added fix_manpage_generation.patch to fix macro errors in some man pages (fix from rev. 9060). * debian/rules: - Do man-page generation the right way (enabled MCRL2_MAN_PAGES). * debian/watch: - Changed the .bz2 suffix into .gz. -- Paul van Tilburg Fri, 25 Mar 2011 09:19:56 +0100 mcrl2 (201103~rc1-0ubuntu1) maverick; urgency=low * New upstream release. * debian/control: - Remove unneeded build dependencies of some boost libraries. - Lower required version of boost libraries to 1.37. * debian/rules: - Remove build flags because they were changed upstream. -- Jeroen Keiren Fri, 11 Mar 2011 07:51:00 +0100 mcrl2 (201007~rc1-1) unstable; urgency=low * New upstream release; using this release candidate for Squeeze as recommended by upstream. * debian/control: - Bumped standards version to 3.9.1; no changes required. * debian/copyright: - Inserted the BSD license verbatim instead of pointing to /usr/share/common-licenses/BSD which is soon to be removed. * debian/menu: - Replaced menu item for SQuADT by one for mCRL2 GUI. * debian/rules: - Added MCRL2_ suffixes to the build flags because this has been changed upstream. -- Paul van Tilburg Tue, 03 Aug 2010 12:49:57 +0200 mcrl2 (201001+svn7611-1) unstable; urgency=low * New SVN snapshot upload: - Features renaming of sim and xsim to lpssim and lpsxsim (closes: #573944). - Features renaming of grape to grapemcrl2 (closes: #573943). - Fixes documentation/examples install issue. * debian/control: - Changed build-depends to build against Boost 1.42. Closes: #573844, #577289. * debian/rules: - Removed documentation directory mkdir/mv/rmdir commands from the install target now that this is fixed upstream. * debian/source/format: Switched to source format 3.0 (quilt). -- Paul van Tilburg Sun, 11 Apr 2010 17:18:35 +0200 mcrl2 (201001-1) unstable; urgency=low * Initial release (Closes: #460885). * Use a pruned upstream tarball to avoid (a lot of) source duplication by removing 3rd-party/boost. -- Paul van Tilburg Tue, 16 Feb 2010 12:50:42 +0200 debian/compat0000664000000000000000000000000211147502717010373 0ustar 5 debian/docs0000664000000000000000000000000711147502717010045 0ustar README debian/watch0000664000000000000000000000016211721456516010230 0ustar # mCRL2 watch file version=3 http://www.mcrl2.org/release/user_manual/download.html .*mcrl2-([\d\.]+)\.tar\.gz.* debian/source/0000775000000000000000000000000012044270574010475 5ustar debian/source/format0000664000000000000000000000001411360364064011701 0ustar 3.0 (quilt)