Use tar.gz archive of Isabelle on MacOS.

Signed-off-by: Karolis Petrauskas <[email protected]>
tlaplus · Dec 23, 2023 · f270dd4 · f270dd4
1 parent 66d4195
commit f270dd4
Showing 1 changed file with 1 addition and 8 deletions.
diff --git a/deps/isabelle/Makefile b/deps/isabelle/Makefile
@@ -10,7 +10,7 @@ ifeq ($(OS_TYPE),Linux)
 endif
 ifeq ($(OS_TYPE),Darwin)
 	ISABELLE_ARCHIVE=$(ISABELLE_VSN)_macos.tar.gz
-	ISABELLE_ARCHIVE_TYPE=dmg
+	ISABELLE_ARCHIVE_TYPE=tgz
 	FIND_EXEC=-perm +111
 endif
 ifeq ($(OS_TYPE),Cygwin)
@@ -47,13 +47,6 @@ ifeq ($(ISABELLE_ARCHIVE_TYPE),tgz)
 	tar -xzf $<
 	mv $(ISABELLE_VSN) $(ISABELLE_DIR)
 endif
-ifeq ($(ISABELLE_ARCHIVE_TYPE),dmg)
-	rm -rf isabelle-dmg
-	hdiutil attach "$<" -quiet -readonly -nobrowse -mountpoint "$(shell pwd)/isabelle-dmg"
-	cp -a "isabelle-dmg/$(ISABELLE_VSN).app/Contents/Resources/$(ISABELLE_VSN)" "$@"
-	hdiutil detach "$(shell pwd)/isabelle-dmg" -quiet
-	rm -rf isabelle-dmg
-endif
 
 # Build the TLA+ theory.
 .PRECIOUS: $(ISABELLE_DIR)/src/TLA+