Jack Nagel
2fc35aafa0
swi-prolog: builds with LLVM > 2335
...
Signed-off-by: Jack Nagel <jacknagel@gmail.com>
2012-02-22 16:04:43 -06:00
Adam Vandenberg
087915dba5
swi-prolog 6.0.0
2012-02-19 09:27:25 -08:00
Adam Vandenberg
26d9c09804
swi-prolog 5.10.5
2011-11-27 09:13:48 -08:00
Birger J. Nordølum
9feee6587a
SWI-Prolog 5.10.4
...
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
2011-08-18 22:58:12 -07:00
Adam Vandenberg
121e4f8614
Normalize use of MACOS_VERSION
2011-04-09 09:36:30 -07:00
Adam Vandenberg
99b61b9a23
Update fails_with_llvm in formulae
2011-03-25 23:31:30 -07:00
Adam Vandenberg
724ae983f4
swi-prolog: fails_with_llvm
2011-03-23 16:28:09 -07:00
Adam Vandenberg
4147b05c57
Use ruby style for inheritance.
2011-03-12 11:55:09 -08:00
Adam Vandenberg
eff831ba00
Update swi-prolog
...
* Install JPL bridge by default, change switch to turn it off
Needs Apple's Java Developer Update 3
* 10.5 needs a newer version of expat than the system version
2011-01-03 12:15:09 -08:00
Michael Dippery
808c21904a
swi-prolog: Add HEAD build
...
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
2010-11-12 15:00:07 -08:00
Jonathan Abourbih
d7c60dc5d4
Bumped version of SWI-Prolog to 5.10.2
...
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
2010-11-06 18:06:59 -07:00
Jonathan Abourbih
92ded0be6e
swi-prolog - fix jni.h issue & improve X11 support
...
Formula no longer includes JPL by default to get around an error that
Apple's introduced in OSX 10.6 with broken symlinks to the JNI .h files.
Also, now checks for X11 and disables xpce if required, and uses the
Homebrew ENV.x11 system to include the appropriate libraries and
headers.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
2010-10-24 21:10:03 -07:00
Jonathan Abourbih
480eed6228
Update swi-prolog
...
* Add more dependencies
* Add option for building the lite version
2010-10-16 09:03:23 -07:00
Ville Lautanala
22fca3b4eb
SWI-Prolog 5.10.1
...
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
2010-09-29 08:25:59 -07:00
Björn B. Brandenburg
7e8a284932
New formula: swi-prolog
...
Formula for SWI Prolog.
2010-01-30 14:18:04 +01:00