[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