CoCoA:Downloads

About

Besides the official CoCoA download page the build team at the University of Dortmund also provides a number of CoCoA builds. Those builds here are usually identical to the ones in Genua, but on occasion we provide test builds for other platforms like Solaris on Sparc, Linux on x86-64 or Windows on x86. These usually show up on the download page in Genua a couple days later.

CoCoA 4.6CVS

At certain times we make builds from the development branch available for testing, evaluation and debugging. Since the changes are usually bugfixes or and small additions only it is usually safe to use those builds since the known number of bugs in 4.6CVS is normally close to zero or actually zero. At least at the University of Dortmund most of us run the tinderbox builds as default. There is a number of tinderbox builds available for different platforms:

• 2006/02/08 Windows x86 (4.3MB) - contains the qt interface and a working CoCoAServer 0.94
• 2006/01/12 Windows x86 (3.2MB) - contains the qt interface
• 2006/02/02 Linux PPC (670k) - contains just the textual interface

CoCoA 4.5.1

There haven't been any builds released to be public since the official CoCoA 4.5.1 release. Please download those builds from the official CoCoA download page. You can obviously play with the 4.6CVS branch.

CoCoA 4.5

CoCoA 4.5 on Microsoft Windows

While we are close we aren't there yet. The third release candidate can be found here. It is packaged as a self extracting rar archive. To install execute the binary and extract the files to an appropriate location. Upon extraction create a link to the WinCoCoA4.5.exe and you are done with the installation. To uninstall just delete the WinCoCoA4.5-rc3 directory and the link created earlier. If you like to use the text interface of CoCoA 4.5 make sure to set its path correctly in the cocoa.bat:

rem #############################################################################
rem # Make sure these four variables have the correct values for your system.
rem # Below are default values which should work for "standard" installations.

set COCOA_HOME=C:\WinCoCoA4.5-rc3

Default is obviously C:\WinCoCoA4.5-rc3. You should always execute cocoa.bat and not cocoa_text.exe

This release does contain the CoCoAServer 0.94. In order to start the server just execute the CoCoAServer.exe in the CoCoAServer-0.94 directory. To stop the server just enter CTRL-C. The Emacs integtration does work since rc3, but you are forced to install WinCoCoA-4.5 to C:\WinCoCoA4.5-rc3 since otherwise cocoa.bat won't find its package directory. This problem with hard-coded path names will be fixed before the final WinCoCoA 4.5.

For a list of issues check out the CoCoA-4.5 Buglist.

Please report success/failure and/or bugs here. You should also keep an eye on this thread for news and updates regarding CoCoA 4.5 on Windows.

CoCoA 4.5 on Linux x86-64

The final release of CoCoA 4.5 for Linux x86-64 can be found here. The matching CoCoAServer can be download from here

FIXME: Add installation/config instructions.

CoCoA 4.5 on Sun Solaris Sparc

The first release candidate can be found here.

FIXME: Add installation/config instructions.

CoCoA 4.5 on other Unixes

Upon request we can build a version for pretty much any given Unix provided

• there is at least a gcc-2.95 or later for CoCoA 4.5 and gcc-3.3 or later for the CoCoAServer 0.94.
• we can compile a version of the gmp-4.1.4, either the generic C build or a cpu specific one.

These two requirements shouldn't be hard to satisfy. You can request a build in the CoCoA Forum.

CoCoA 4.4

Since CoCoA 4.5 has been released we do not recommend to use anything older unless you have specific reasons to do so. If you encounter problems it usually helps if you are using the current release since we do not plan to release any bugfixes for CoCoA 4.4 or earlier.

CoCoA 4.4 on Microsoft Windows

There is no public release at the moment. A build without support for the CoCoAServer should be available shortly, i.e. 48 hours after 18:49, 24 Jun 2005 (CEST). One must know that CoCoA time is not linked in a linear fashion to real time, i.e. 48 hours in real time can represent several weeks or months in CoCoA time - everybody who has ever developed software can tell a similar tale.

This release is build with MinGW, hence it is 32 bit only. Since it isn't clear when MinGW will support 64 bit Windows it is unclear when and if such a release will exist. This also depends on demand from other developers since the build team will not waste its time with something nobody uses. Microsoft has taken its time to get a 64 bit version of Windows for x86-64 out the door (roughly 2.5 years after the first useable distributions for linux showed up) and none of the developers of CoCoA has a x86-64 box running on Windows while there are plenty of those boxes running Linux.

CoCoA 4.4 on Linux

All three interfaces are supported. There are a couple of different builds available:

• CoCoA-text for Linux-x86
• CoCoA-Qt for Linux-x86
• CoCoA-text for Linux-x86-64
• CoCoA-Qt for Linux-x86-64

CoCoA 4.4 on MacOSX

All three interfaces are supported. The builds have been build on MacOSX 10.3, a.k.a. Panther. There have been reports that the text- and Emacs-interface also work on MacOSX 10.4, a.k.a. Tiger.

• MacCoCoA-text
• MacCoCoA-Qt (statically linked)

CoCoA 4.4 on Solaris

There is no public release at the moment. CoCoA 4.4 compiles just fine in 32bit as well as 64bit mode with gcc as well as the SUN Forte compiler but doesn't pass the testsuite yet. Once the windows port is finished work should resume on the sun port.