Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP

GitHub mirror of the OCaml Subversion repository.

branch: more-arch

Merge remote-tracking branch 'bmeurer/tags/4.00.1' into more-arch

Conflicts:
	VERSION
	boot/ocamlc
	boot/ocamldep
	boot/ocamllex
latest commit 2f84298a6e
Cedric Cellier rixed authored November 10, 2012
Octocat-spinner-32 asmcomp Merge remote-tracking branch 'bmeurer/tags/4.00.1' into more-arch November 10, 2012
Octocat-spinner-32 asmrun Merge remote-tracking branch 'bmeurer/tags/4.00.1' into more-arch November 10, 2012
Octocat-spinner-32 boot tagging release 4.00.1 October 03, 2012
Octocat-spinner-32 build merge bin-annot in 4.00 May 30, 2012
Octocat-spinner-32 bytecomp Fix PR#5758 September 27, 2012
Octocat-spinner-32 byterun PR#5757: GC compaction bug (crash) September 10, 2012
Octocat-spinner-32 camlp4 fix TABs and whitespace July 30, 2012
Octocat-spinner-32 compilerlibs make compilerlibs directory present after clone June 08, 2012
Octocat-spinner-32 config Merge remote-tracking branch 'remotes/bmeurer/tags/4.00.0' into more-… August 02, 2012
Octocat-spinner-32 debugger fix TABs and whitespace July 30, 2012
Octocat-spinner-32 driver merge bin-annot in 4.00 May 30, 2012
Octocat-spinner-32 emacs PR#5727: emacs caml-mode indents shebang line in toplevel scripts September 28, 2012
Octocat-spinner-32 experimental fix TABs and whitespace July 30, 2012
Octocat-spinner-32 lex PR#5598: add backslash-space support in ocamllex May 02, 2012
Octocat-spinner-32 man fix TABs and whitespace July 30, 2012
Octocat-spinner-32 ocamlbuild PR#5468: ocamlbuild should preserve order of parametric tags (cherry … September 24, 2012
Octocat-spinner-32 ocamldoc PR#5111: description of module not put into a tag September 25, 2012
Octocat-spinner-32 otherlibs Merge remote-tracking branch 'bmeurer/tags/4.00.1' into more-arch November 10, 2012
Octocat-spinner-32 parsing fix TABs and whitespace July 30, 2012
Octocat-spinner-32 stdlib fix wrong values in documentation September 08, 2012
Octocat-spinner-32 testsuite Fix PR#5758 September 27, 2012
Octocat-spinner-32 tools Fix PR#5729 : Untypeast creates unexpected nodes September 27, 2012
Octocat-spinner-32 toplevel fix TABs and whitespace July 30, 2012
Octocat-spinner-32 typing Fix PR#5758 September 27, 2012
Octocat-spinner-32 utils fix TABs and whitespace July 30, 2012
Octocat-spinner-32 yacc PR#5719: ocamlyacc generates code that is not warning 33-compliant August 06, 2012
Octocat-spinner-32 .depend preparing release 4.00.0: dependencies July 25, 2012
Octocat-spinner-32 .gitignore cosmetics: ignore more files August 02, 2012
Octocat-spinner-32 .ignore uniform .ignore system July 20, 2011
Octocat-spinner-32 Changes tagging release 4.00.1 October 03, 2012
Octocat-spinner-32 INSTALL add solaris 64/32 June 09, 2012
Octocat-spinner-32 LICENSE merge changes from 3.12.0 to 3.12.1 July 20, 2011
Octocat-spinner-32 Makefile PR#5278: update Makefile message to mention "make world.opt" September 17, 2012
Octocat-spinner-32 Makefile.nt fix #install_printer failure because topdirs.cmi not found July 20, 2012
Octocat-spinner-32 README More renaming to OCaml February 10, 2012
Octocat-spinner-32 README.md Add a README.ml June 09, 2012
Octocat-spinner-32 README.win32 clarify cygwin instructions July 25, 2012
Octocat-spinner-32 Upgrading clean up spaces and tabs January 22, 2010
Octocat-spinner-32 VERSION tagging release 4.00.1 October 03, 2012
Octocat-spinner-32 _tags Install compiler internals. May 24, 2012
Octocat-spinner-32 configure Merge remote-tracking branch 'remotes/bmeurer/tags/4.00.0' into more-… August 02, 2012
Octocat-spinner-32 myocamlbuild.ml Fix PR#5475 January 17, 2012
Octocat-spinner-32 myocamlbuild_config.mli merge bin-annot in 4.00 May 30, 2012
README.md

Ocaml 4.00.0-beta2 - Community maintained Architectures

For the 4.00 line of OCaml compiler the core developers decided to jettison some of the less commonly used architectures (Alpha, HPPA, IA64 -aka Itanium- and MIPS) to focus mainly on x86/amd64 and ARM targets. Also, some other architectures were not receiving their share of care, leading to some courageous volunteers to maintain their own improved backends.

This repository aims to collect in a central location all these community maintained architectures in addition to restore the archs that were pruned for the 4.00 release.

Following are some details about the currently available additional architectures.

IA64

To be done

Mips

Compared to the legacy mips backend, targeting the Irix OS, this one is for GNU/linux on MIPS, either big or little endian. The ABI used is n32, as in the past.

It's well tested on the Loongson processors but should work on other variants too.

PPC64

To be done

Something went wrong with that request. Please try again.