Merge pull request #43 from miguel-ambrona/ambrona@rename-sherlock

Update Sherlock dependency
miguel-ambrona · Aug 15, 2024 · 133350e · 133350e
2 parents 686d38f + 2095426
commit 133350e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Makefile b/src/Makefile
@@ -20,7 +20,7 @@ install-cha:
 
 get-sherlock:
 	if [ -d ../lib/sherlock ]; then rm -Rf ../lib/sherlock; fi
-	cd ../lib/ && git clone https://github.com/miguel-ambrona/sherlock.git
+	cd ../lib/ && git clone https://github.com/miguel-ambrona/sherlock-ocaml.git sherlock
 	cd ../lib/sherlock && git checkout $(SHERLOCK_VERSION)
 	cd ../lib/sherlock && ./scripts/install_build_deps.sh
 	cd ../lib/sherlock && eval `(opam env)` && dune build