diff --git a/.gitignore b/.gitignore index 7916107af5..ec464113b6 100644 --- a/.gitignore +++ b/.gitignore @@ -53,3 +53,6 @@ setup.log # unit tests *.xml + +# Backup of opam lock file +hazel.opam.locked.old diff --git a/Makefile b/Makefile index 97966cf4a1..455ff6e441 100644 --- a/Makefile +++ b/Makefile @@ -15,6 +15,7 @@ change-deps: dune build hazel.opam opam install ./hazel.opam --deps-only --with-test opam lock . + sed -i'.old' '/host-/d' hazel.opam.locked # remove host- lines which are arch-specific. Not using -i '' because of portability issues https://stackoverflow.com/questions/4247068/sed-command-with-i-option-failing-on-mac-but-works-on-linux setup-instructor: cp src/haz3lweb/ExerciseSettings_instructor.re src/haz3lweb/ExerciseSettings.re diff --git a/hazel.opam.locked b/hazel.opam.locked index 73766a5245..8672b0816a 100644 --- a/hazel.opam.locked +++ b/hazel.opam.locked @@ -1,6 +1,10 @@ + opam-version: "2.0" name: "hazel" version: "~dev" +synopsis: "Hazel, a live functional programming environment with typed holes" +maintainer: "Hazel Development Team" +authors: "Hazel Development Team" license: "MIT" homepage: "https://github.com/hazelgrove/hazel" bug-reports: "https://github.com/hazelgrove/hazel/issues" @@ -51,8 +55,6 @@ depends: [ "fpath" {= "0.7.3"} "gen" {= "1.1"} "gen_js_api" {= "1.1.2"} - "host-arch-x86_64" {= "1"} - "host-system-other" {= "1"} "incr_dom" {= "v0.16.0"} "incr_map" {= "v0.16.0"} "incr_select" {= "v0.16.0"} @@ -70,6 +72,7 @@ depends: [ "junit_alcotest" {= "2.0.2" & with-test} "lambdasoup" {= "1.0.0"} "lsp" {= "1.19.0"} + "lwt" {= "5.7.0"} "markup" {= "1.0.3"} "menhir" {= "20240715"} "menhirCST" {= "20240715"} @@ -94,6 +97,7 @@ depends: [ "ocamlformat-lib" {= "0.26.2"} "ocamlformat-rpc-lib" {= "0.26.2"} "ocp-indent" {= "1.8.1"} + "ocplib-endian" {= "1.2"} "octavius" {= "1.2.2"} "ojs" {= "1.1.2"} "omd" {= "2.0.0~alpha4"} @@ -192,7 +196,4 @@ build: [ "@doc" {with-doc} ] ] -dev-repo: "git+https://github.com/hazelgrove/hazel.git" -synopsis: "Hazel, a live functional programming environment with typed holes" -maintainer: "Hazel Development Team" -authors: "Hazel Development Team" \ No newline at end of file +dev-repo: "git+https://github.com/hazelgrove/hazel.git" \ No newline at end of file