Warning: file_exists(): open_basedir restriction in effect. File(/srv/http/vhosts/aur.archlinux.org/public/web/locale//en/LC_MESSAGES/aurweb.mo) is not within the allowed path(s): (/srv/http/vhosts/aur-dev.archlinux.org/:/etc/aurweb/) in /srv/http/vhosts/aur-dev.archlinux.org/public/web/lib/streams.php on line 90
AUR (en) - alloy

Notice: Undefined variable: name in /srv/http/vhosts/aur-dev.archlinux.org/public/web/lib/pkgfuncs.inc.php on line 248

Package Details: alloy 4.2.5-1

Git Clone URL: https://aur-dev.archlinux.org/alloy.git (read-only)
Package Base: alloy
Description: A lightweight modelling language for software design.
Upstream URL: http://alloy.mit.edu/alloy/
Licenses: MIT
Submitter: rodprice
Maintainer: kaptoxic
Last Packager: kaptoxic
Votes: 17
Popularity: 0.004170
First Submitted: 2009-07-27 20:29
Last Updated: 2015-07-26 15:59

Latest Comments

1 2 Next › Last »

kaptoxic commented on 2015-04-03 05:27

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

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

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

kaptoxic commented on 2014-08-13 15:52

Out of date?

rodprice commented on 2012-01-16 21:44

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

Hedd: you just needed to source the profile file.

vnoel commented on 2012-01-15 13:43

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

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

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

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