From d50c1139c7ea677d2cfc788632c8750635a85dbb Mon Sep 17 00:00:00 2001 From: Antonin Reitz Date: Sun, 22 Oct 2023 23:46:30 +0200 Subject: [PATCH 1/2] Fix karamel.opam: add ctypes and ctypes-foreign --- karamel.opam | 2 ++ 1 file changed, 2 insertions(+) diff --git a/karamel.opam b/karamel.opam index b9b40bc01..8b8306b04 100644 --- a/karamel.opam +++ b/karamel.opam @@ -22,6 +22,8 @@ depends: [ "ppx_deriving" "ppx_deriving_yojson" "fstar" + "ctypes" + "ctypes-foreign" ] depexts: ["coreutils"] {os = "macos" & os-distribution = "homebrew"} build: [ From f48897aa5783a23571bd285bb8a50fadf3da83ef Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= Date: Tue, 19 Dec 2023 09:59:39 -0800 Subject: [PATCH 2/2] ci/Docker: set OPAMYES in hierarchic Dockerfile --- .docker/hierarchic.Dockerfile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.docker/hierarchic.Dockerfile b/.docker/hierarchic.Dockerfile index 042920128..dfef32309 100644 --- a/.docker/hierarchic.Dockerfile +++ b/.docker/hierarchic.Dockerfile @@ -6,6 +6,9 @@ FROM fstar:local-branch-$FSTAR_BRANCH ADD --chown=opam:opam ./ $HOME/karamel/ WORKDIR $HOME/karamel +# Let OPAM do its thing +ENV OPAMYES=1 + # CI dependencies: node.js, ctypes-foreign RUN opam depext ctypes-foreign RUN opam install ctypes-foreign