Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: Review Request: nips-promela-compiler - Compile Promela into NIPS VM for state-based model checking https://bugzilla.redhat.com/show_bug.cgi?id=558374 Summary: Review Request: nips-promela-compiler - Compile Promela into NIPS VM for state-based model checking Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: medium Component: Package Review AssignedTo: nobody@xxxxxxxxxxxxxxxxx ReportedBy: dwheeler@xxxxxxxxxxxx QAContact: extras-qa@xxxxxxxxxxxxxxxxx CC: notting@xxxxxxxxxx, fedora-package-review@xxxxxxxxxx Estimated Hours: 0.0 Classification: Fedora Spec URL: http://www.dwheeler.com/nips-promela-compiler.spec SRPM URL: http://www.dwheeler.com/nips-promela-compiler-1.2.5-2.fc12.src.rpm Description: The New Implementation of Promela Semantics (NIPS) compiler accepts models defined in the Promela modeling language (which defines state spaces) and translates them into the NIPS virtual machine (NIPS VM) format. The Promela language was originally defined for the SPIN tool. The installed compiler is named nips_c, not CodeGen ("CodeGen" is a generic name easily confused with other code generators). You can use nips_vm or DiVinE to analyze the compiled models. ======================================== rpmlint reports 0 errors, 0 warnings, on a Fedora 12 x86_64: $ cd ~/rpmlint/SPECS $ rpmlint nips-promela-compiler.spec ../SRPMS/nips-promela-compiler-1.2.5-2.fc12.src.rpm ../RPMS/x86_64/nips-promela-compiler-1.2.5-2.fc12.x86_64.rpm 2 packages and 1 specfiles checked; 0 errors, 0 warnings. NOTE: This depends on sablecc, which isn't currently in the Fedora repository. I believe there's no license problem with it (LGPL), but I'm trying to get someone else to put that into Fedora. To test it for now, install the JPackage version. You can get that here: http://mirrors.dotsrc.org/jpackage/5.0/generic/free/SRPMS/sablecc-3.2-2.jpp5.src.rpm You can use mock to test its BuildRequires, but it's trickier to do this when there's a package not in the Fedora repository. Here's how I did it: mock -r fedora-12-x86_64 --init mock -r fedora-12-x86_64 --install java-gcj-compat-devel java-gcj-compat java-devel ant jpackage-utils dtdparser jdom junit java-1.6.0-openjdk mock -r fedora-12-x86_64 --copyin ~/rpmbuild/RPMS/noarch/sablecc-3.2-2.fc12.noarch.rpm /tmp mock -r fedora-12-x86_64 --copyin ~/rpmbuild/SRPMS/nips-promela-compiler-1.2.5-2.fc12.src.rpm /tmp mock -r fedora-12-x86_64 --shell # Now in the shell: cd rpm -i /tmp/sablecc* rpmbuild rpmbuild --rebuild /tmp/nips-promela* I'm packaging this because it's a prerequisite for "DiVinE"'s ability to read Promela (SPIN) files. -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug. _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review