Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • C COOL
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 36
    • Issues 36
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 1
    • Merge requests 1
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Releases
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Software
  • COOL
  • Merge requests
  • !1

Add dune build system

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Hans-Peter Deifel requested to merge dune into master Jul 30, 2019
  • Overview 19
  • Commits 62
  • Pipelines 64
  • Changes 38

dune is a newer build system for ocaml that tries to unify the different build systems of ocaml by invocation of xkcd 927. Success is imminent, the majority of opam packages now use dune!

Advantages over oasis:

  • tight integration with opam, if we ever want to publish cool there
  • reportedly much faster than oasis
  • doesn't need hacks to detect C code, build documentation or format source code
  • can generate .merlin files
  • subjectively, oasis seems unfinished around the edges and breaks when trying to use it in non-standard ways.

Disadvantages:

  • Build definition spread out over individual files instead of being in one place (disadvantage status is subjective)
  • No built-in concept of configure step and flags (but easy workaround)

This is in preparation for making the pgsolver dependency optional and therefore being able to merge the pgsolver branch to master. I hope that this will be easier with dune than with oasis.

Edited Apr 19, 2021 by Merlin
Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: dune