[Agda] hs-cabal binary for OS X
Shin-Cheng Mu
scm at iis.sinica.edu.tw
Fri Dec 5 16:51:41 CET 2008
Hi,
To make the process installing Agda on OS X easier, I
tried to create two binary packages containing Cabal
library, the interface, HTTP, and zlib. They are compiled
for GHC 6.8.3 and assume libgmp.3.dylib in /opt/local/lib
(therefore I also built a binary for GMP). I have also
updated the installation instruction accordingly:
http://appserv.cs.chalmers.se/users/ulfn/wiki/agda.php?n=Main.MacOSX
The instruction worked for the machine I tested with.
If you are about to install Agda on an OS X machine,
please give it a try and let me know if it fails.
Compiling Agda is easy once Cabal is installed.
Since Agda is under rapid development, it is perhaps
a good idea for any serious user to always compile
from the latest source code. However, I will see how
I can make it into, say, a collection of macports
packages like those for Debian/Ubuntu, and build
a pre-compiled binary.
sincerely,
Shin
More information about the Agda
mailing list