Commit graph

13 commits

Author SHA1 Message Date
Mike McQuaid
d4d7aa8233 isl: add bottles. 2013-09-25 00:33:07 +01:00
Jack Nagel
40b8e12a66 isl: use spec deps 2013-09-21 19:29:55 -05:00
Xiyue Deng
3e35a0b6ab isl: use tarball for stable version.
* Also add note about version detection of isl.
* Tighten gmp detection.
2013-09-08 22:00:26 -07:00
Xiyue Deng
811f24981c isl 0.12.1 with more formula cleanups.
* Fix URLs to use new upstream repo and use tag to track stable
  releases.
  - Fix homepage to use freecode site.
  - Fix head URL.
* Now that isl needs to bootstrap before compile.
  - Add :autoconf, :automake, :libtool as build dependencies, and run
    ./autogen.sh before configure.
* Enable verbose build output to help future debugging.
2013-09-02 22:33:46 -07:00
Jack Nagel
79c1d5d935 isl: move gdb script to gdb auto-load directory
This is where e.g. glib puts similar scripts; potentially gdb from
homebrew-versions needs to be configured to look here instead of in its
keg, but I'm not an expert.
2013-08-21 16:47:37 -05:00
Jack Nagel
174c6b640a isl: use debian mirror
Closes Homebrew/homebrew#21683.
2013-08-05 17:43:54 -05:00
Adam Vandenberg
92b2017b75 isl: swap mirror and url
Closes Homebrew/homebrew#21294.
2013-07-17 20:24:17 -07:00
Misty De Meo
cfd34f7bc7 isl: revert to 0.11.2
0.12 breaks GCC 4.8 and 4.9 at the moment.

Fixes Homebrew/homebrew#20835.

This reverts commit e2b10438666f41366f596fe762b2455f5761bcd8.
2013-06-26 22:45:57 -05:00
Gvozden Neskovic
3dc02623d9 isl 0.12
Closes Homebrew/homebrew#20767.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
2013-06-26 10:11:46 -07:00
Alex Burka
a73bf160f5 isl 0.11.2
Closes Homebrew/homebrew#19142.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
2013-04-11 23:27:02 -05:00
Jack Nagel
88823cd3bd isl: inline args 2013-03-26 00:02:29 -05:00
Xiyue Deng
a0f1df320d ISL 0.11.1
Closes Homebrew/homebrew#17110.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
2013-01-16 08:23:06 -08:00
Xiyue Deng
5e1ae81c5f New formula: isl
* Make cloog build using external isl.
  - Needed by newer GCC for which the bundled isl in cloog 0.17.0 is
    too old.
* Improve cloog test case indentation.

Closes Homebrew/homebrew#15862.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
2012-12-04 21:30:59 -06:00