Package Details: alloy 6.1.0-1

Git Clone URL: https://aur.archlinux.org/alloy.git (read-only, click to copy)
Package Base: alloy
Description: A lightweight modelling language for software design.
Upstream URL: https://alloytools.org/
Licenses: MIT
Submitter: rodprice
Maintainer: ADSWT518
Last Packager: ADSWT518
Votes: 23
Popularity: 0.142592
First Submitted: 2009-07-27 20:29 (UTC)
Last Updated: 2022-05-13 03:36 (UTC)

Dependencies (1)

Required by (0)

Sources (4)

Pinned Comments

ADSWT518 commented on 2022-05-13 03:37 (UTC) (edited on 2022-05-13 03:38 (UTC) by ADSWT518)

Alloy 6 uses new symbols (exactly two: the single quote ' and the semicolon ;) and several new keywords (as well as ones reserved for possible future extensions) listed below in alphabetical order:

after always before enabled event eventually historically invariant modifies once releases since steps triggered until var

Alloy 6 is compatible with old models as long as they don’t use these symbols or keywords. On the other hand, if an old model of yours uses single quotes or some of these keywords (as identifiers), then you will have to replace them to ensure that Alloy 6 interprets your model as before (for instance changing var into var_ or variable or foo). Notice the single quote can for instance be replaced with the double quote symbol " (which is legal Alloy).

ref: http://alloytools.org/alloy6.html

Latest Comments

ADSWT518 commented on 2022-05-13 03:37 (UTC) (edited on 2022-05-13 03:38 (UTC) by ADSWT518)

Alloy 6 uses new symbols (exactly two: the single quote ' and the semicolon ;) and several new keywords (as well as ones reserved for possible future extensions) listed below in alphabetical order:

after always before enabled event eventually historically invariant modifies once releases since steps triggered until var

Alloy 6 is compatible with old models as long as they don’t use these symbols or keywords. On the other hand, if an old model of yours uses single quotes or some of these keywords (as identifiers), then you will have to replace them to ensure that Alloy 6 interprets your model as before (for instance changing var into var_ or variable or foo). Notice the single quote can for instance be replaced with the double quote symbol " (which is legal Alloy).

ref: http://alloytools.org/alloy6.html

Aecturus commented on 2018-03-07 12:45 (UTC)

I noticed that the download URL in the PKGBUILD is not valid anymore. The correct link is "http://alloytools.org/download/alloy4.2_2015-02-22.jar".

kaptoxic commented on 2015-04-03 05:27 (UTC)

Indeed (not sure how why did the old PKGBUILD manage to install). Fixed, should be okay now.

toothpaste commented on 2015-04-01 13:08 (UTC)

The PKGBUILD sources `../alloy`, which fails. When I manually modified this to simply read `alloy`, it worked.

kaptoxic commented on 2015-03-09 02:26 (UTC)

The package switched to "Experimental" version (from "Stable"), which is updated more frequently.

kaptoxic commented on 2014-08-13 15:52 (UTC)

Out of date?

rodprice commented on 2012-01-16 21:44 (UTC)

The install file attempted to source alloy.sh directly, but apparently it doesn't work so well. I've replaced it with a message to the user asking them to source the file by hand. vnoel: Those lines were a hack used on my local machine. I've removed them. Thanks for pointing it out.

vnoel commented on 2012-01-15 13:44 (UTC)

Hedd: you just needed to source the profile file.

vnoel commented on 2012-01-15 13:43 (UTC)

Ok, actually I'm quite surprised with the content of the PKGBUILD. The last lines shouldn't be here I think.

vnoel commented on 2012-01-15 13:41 (UTC)

Hi, I now get the same error as Hedd (I reinstalled my arch system since my last comment). And I still get the error I was talking about.

Hedd commented on 2011-11-02 18:13 (UTC)

When I try to run alloy, I get the following error: Exception in thread "main" java.lang.NoClassDefFoundError: edu/mit/csail/sdg/alloy4whole/SimpleGUI Caused by: java.lang.ClassNotFoundException: edu.mit.csail.sdg.alloy4whole.SimpleGUI at java.net.URLClassLoader$1.run(URLClassLoader.java:217) at java.security.AccessController.doPrivileged(Native Method) at java.net.URLClassLoader.findClass(URLClassLoader.java:205) at java.lang.ClassLoader.loadClass(ClassLoader.java:321) at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:294) at java.lang.ClassLoader.loadClass(ClassLoader.java:266) Could not find the main class: edu.mit.csail.sdg.alloy4whole.SimpleGUI. Program will exit.

rodprice commented on 2010-05-17 21:03 (UTC)

Hmm. I can't reproduce it. Please email me if you have further trouble with the install.

vnoel commented on 2010-05-15 14:49 (UTC)

Hi, Got this error when building the package for alloy: /tmp/yaourt-tmp-victor/aur-alloy/alloy/./PKGBUILD: line 31: [: /tmp/yaourt-tmp-victor/aur-alloy/alloy: integer expression expected Anyway, install worked and programs seems to be running well :) Thanks.