Skip to content

Commit

Permalink
Remove arch from opam.locked file for arm osx
Browse files Browse the repository at this point in the history
  • Loading branch information
7h3kk1d committed Aug 9, 2024
1 parent 6df5431 commit 72d8ae3
Show file tree
Hide file tree
Showing 3 changed files with 11 additions and 6 deletions.
3 changes: 3 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -53,3 +53,6 @@ setup.log

# unit tests
*.xml

# Backup of opam lock file
hazel.opam.locked.old
1 change: 1 addition & 0 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
13 changes: 7 additions & 6 deletions hazel.opam.locked
Original file line number Diff line number Diff line change
@@ -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"
Expand Down Expand Up @@ -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"}
Expand All @@ -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"}
Expand All @@ -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"}
Expand Down Expand Up @@ -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"
dev-repo: "git+https://github.com/hazelgrove/hazel.git"

0 comments on commit 72d8ae3

Please sign in to comment.