https://github.com/esumii/min-caml

moved from https://sourceforge.net/p/min-caml/code/
https://github.com/esumii/min-caml

Last synced: 3 months ago
JSON representation

moved from https://sourceforge.net/p/min-caml/code/

• Host: GitHub
• URL: https://github.com/esumii/min-caml
• Owner: esumii
• License: other
• Created: 2013-10-09T00:20:48.000Z (about 11 years ago)
• Default Branch: master
• Last Pushed: 2023-10-11T23:12:45.000Z (about 1 year ago)
• Last Synced: 2024-05-13T22:56:43.960Z (6 months ago)
• Language: OCaml
• Size: 6.27 MB
• Stars: 470
• Watchers: 28
• Forks: 115
• Open Issues: 3
• Metadata Files:
  • Readme: README
  • License: LICENSE

Awesome Lists containing this project

README

        
An educational compiler for a minimal subset of OCaml, written in

~2000 lines of OCaml.  For details, see:

http://esumii.github.io/min-caml/ (Japanese Web page)

http://esumii.github.io/min-caml/jpaper.pdf (Japanese academic paper)

http://esumii.github.io/min-caml/index-e.html (English Web page)

http://esumii.github.io/min-caml/paper.pdf (English academic paper)

1. Install OCaml (http://caml.inria.fr/) if you haven't

2. Download (and expand) MinCaml, e.g.

   git clone https://github.com/esumii/min-caml.git

3. cd min-caml/

4. Execute ./to_x86 for x86

   (or ./to_sparc for SPARC, ./to_ppc for PowerPC)

5. make

6. If you like, try the ray tracer

     cd min-rt/ ; make

   though it takes time because of OCaml bytecode (for testing by

   comparison), not MinCaml

[FAQ 1] Is there an x86_64 version?

[A] There is, but it is left as an exercise for students and _not_

included in this distribution.

[FAQ 2] Is there a version that emits C code?

[A] See above.

[Updates on October 9, 2013]

- Moved from SourceForge https://sourceforge.net/p/min-caml/code/ to

  GitHub https://github.com/esumii/min-caml

- Merged the Mac OS patch by shinh

  https://twitter.com/shinh/status/322043108021907458

[Update on July 24, 2012]

- 32-bit x86 (with SSE2, that is, Pentium IV or later) is now

  supported (on Linux and Cygwin); execute ./to_x86 before make.

[Updates on September 17, 2008]

- PowerPC is now supported (in addition to SPARC), thanks to

  Ms. Masuko and Prof. Asai in Ochanomizu University.  You _must_

  execute either ./to_ppc or ./to_sparc _before_ make.

- The register allocator now uses a simpler algorithm.  It omits the

  backtracking (ToSpill and NoSpill) in previous versions.