Code

Renaming to Dune#721

Code

Merged

15 commits merged intomasterocaml/dune:masterfrom renameocaml/dune:renameCopy head branch name to clipboardMay 2, 2018

+508-339

Commits

Commits on May 1, 2018

• First pass at renaming the package to dune

  

  Jeremie Dimino

  committed
  97ff143

• Build and install two binaries: dune and jbuilder

  

  Jeremie Dimino

  committed
  2120a6a

• Preliminary support for dune-project files

  

  Jeremie Dimino

  committed
  b785e22

• Add a dune-project file

  

  Jeremie Dimino

  committed
  c200b4c

• Make dune look for dune-workspace rather than jbuild-workspace

  

  Jeremie Dimino

  committed
  fd84291

• jbuild-workspace.dev --> dune-workspace.dev

  

  Jeremie Dimino

  committed
  a4c586d

• Update the travis script

  

  Jeremie Dimino

  committed
  829f6cf

• s/jbuilder/dune/ for ./boot.exe --subst

  

  Jeremie Dimino

  committed
  0549094

• Fix for travis

  

  Jeremie Dimino

  committed
  4523bd1

• _

  

  Jeremie Dimino

  committed
  8ec41dc

• _

  

  Jeremie Dimino

  committed
  d3d68ba

• _

  

  Jeremie Dimino

  committed
  673635f

• Simplify

  

  Jeremie Dimino

  committed
  afa4b80

• Update tests

  

  Jeremie Dimino

  committed
  0324e18

• Update tests

  

  Jeremie Dimino

  committed
  d6e8786