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

Build library using dune #10

Merged
merged 6 commits into from
Nov 16, 2022
Merged

Build library using dune #10

merged 6 commits into from
Nov 16, 2022

Commits on Nov 15, 2022

  1. .gitignore: add data created by builds 

    Signed-off-by: Pau Ruiz Safont <pau.safont@citrix.com>
    @psafont
    psafont committed Nov 15, 2022
    Configuration menu
    Copy the full SHA
    8bf8db7 View commit details
    Browse the repository at this point in the history

  2. opam: update to 2.0 metadata 

    Signed-off-by: Pau Ruiz Safont <pau.safont@citrix.com>
    @psafont
    psafont committed Nov 15, 2022
    Configuration menu
    Copy the full SHA
    ee2a65b View commit details
    Browse the repository at this point in the history

  3. build-system: replace oasis with dune 

    Signed-off-by: Pau Ruiz Safont <pau.safont@citrix.com>
    @psafont
    psafont committed Nov 15, 2022
    Configuration menu
    Copy the full SHA
    c4cf673 View commit details
    Browse the repository at this point in the history

  4. journald: avoid warnings 

    Signed-off-by: Pau Ruiz Safont <pau.safont@citrix.com>
    @psafont
    psafont committed Nov 15, 2022
    Configuration menu
    Copy the full SHA
    0a2c786 View commit details
    Browse the repository at this point in the history

  5. journald_stubs: Avoid warnings 

    Copy the ocaml strings before passing them into C to ensure they are
kept immutable. This requires to released them from the heap afterwards

Signed-off-by: Pau Ruiz Safont <pau.safont@citrix.com>
    @psafont
    psafont committed Nov 15, 2022
    Configuration menu
    Copy the full SHA
    d2c32e4 View commit details
    Browse the repository at this point in the history

  6. ci: replace travis for github actions 

    Signed-off-by: Pau Ruiz Safont <pau.safont@citrix.com>
    @psafont
    psafont committed Nov 15, 2022
    Configuration menu
    Copy the full SHA
    91fefa6 View commit details
    Browse the repository at this point in the history