Skip to content
This repository has been archived by the owner on Aug 25, 2022. It is now read-only.

Use dune to build config.ml #167

Merged
merged 7 commits into from Mar 18, 2019
Merged

Use dune to build config.ml #167

merged 7 commits into from Mar 18, 2019

Commits on Feb 20, 2019

  1. Use Dune to build config.ml 

    To build config.cmxs functoria copies `config.ml` in the `_build`
directory, then it generates a `dune` configuration file to be able to
build `_build/_build/default/config.cmxs`. It can also grab a `dune.inc`
file in order to add options to the configuration build (necessary for
tests). Tests have been updated to support the modification.
    @TheLortex
    TheLortex committed Feb 20, 2019
    Copy the full SHA
    a9a9ab7 View commit details
    Browse the repository at this point in the history

  2. Make dune silent

    @TheLortex
    TheLortex committed Feb 20, 2019
    Copy the full SHA
    abc9531 View commit details
    Browse the repository at this point in the history

Commits on Feb 21, 2019

  1. Make sure dune and dune-workspace don't already exist before writing … 

    …them.
    @TheLortex
    TheLortex committed Feb 21, 2019
    Copy the full SHA
    89ad5e0 View commit details
    Browse the repository at this point in the history

  2. Add the ability to depend on external libraries. 

    Also renamed dune.inc -> config.dune
    @TheLortex
    TheLortex committed Feb 21, 2019
    Copy the full SHA
    b81e8d2 View commit details
    Browse the repository at this point in the history

Commits on Feb 26, 2019

  1. Update config.ml build to reduce complexity 

    Now `config.ml` and `dune.inc` are copied in their own `build-config`
directory, where `dune` is also generated. Tests don't rely anymore on
"include hacks".
    @TheLortex
    TheLortex committed Feb 26, 2019
    Copy the full SHA
    dd94b19 View commit details
    Browse the repository at this point in the history

Commits on Mar 1, 2019

  1. Small updates 

    - use dune lang 1.0 instead of 1.7 when building config.ml
- reuse the build-config location variable
    @TheLortex
    TheLortex committed Mar 1, 2019
    Copy the full SHA
    dcb1f2c View commit details
    Browse the repository at this point in the history

Commits on Mar 18, 2019

  1. Rename config.dune to dune.config

    @TheLortex
    TheLortex committed Mar 18, 2019
    Copy the full SHA
    e65f15d View commit details
    Browse the repository at this point in the history