Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Jbuilder #64

Open
wants to merge 8 commits into
base: master
Choose a base branch
from
Open

Jbuilder #64

wants to merge 8 commits into from

Commits on May 29, 2017

  1. Remove old build system

    @rgrinberg
    rgrinberg committed May 29, 2017
    Configuration menu
    Copy the full SHA
    ab54ed5 View commit details
    Browse the repository at this point in the history

  2. Update .gitignore

    @rgrinberg
    rgrinberg committed May 29, 2017
    Configuration menu
    Copy the full SHA
    4ceed98 View commit details
    Browse the repository at this point in the history

  3. Remove usage of lwt syntax extension

    @rgrinberg
    rgrinberg committed May 29, 2017
    Configuration menu
    Copy the full SHA
    a462581 View commit details
    Browse the repository at this point in the history

  4. port exec to use cppo rather than camlp4

    @rgrinberg
    rgrinberg committed May 29, 2017
    Configuration menu
    Copy the full SHA
    dab38d1 View commit details
    Browse the repository at this point in the history

  5. local opam file

    @rgrinberg
    rgrinberg committed May 29, 2017
    Configuration menu
    Copy the full SHA
    41418df View commit details
    Browse the repository at this point in the history

  6. Remove optcomp usage for ocp index 

    Instead isolate the completion functionality into 1 module and then select it
base on available libraries
    @rgrinberg
    rgrinberg committed May 29, 2017
    Configuration menu
    Copy the full SHA
    7669c6f View commit details
    Browse the repository at this point in the history

  7. Add jbuilder based build system 

    And a little makefile helper
    @rgrinberg
    rgrinberg committed May 29, 2017
    Configuration menu
    Copy the full SHA
    fc9ba37 View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2017

  1. use per_module and minimum jbuilder version

    @rgrinberg
    rgrinberg committed Jun 24, 2017
    Configuration menu
    Copy the full SHA
    e2bc1f6 View commit details
    Browse the repository at this point in the history