Updating Makefile to give instructions to download protoc

dedis · Jun 26, 2023 · c001d3c · c001d3c
1 parent 42c3b44
commit c001d3c
Show file tree

Hide file tree

Showing 15 changed files with 10,336 additions and 14,288 deletions.
diff --git a/external/Makefile b/external/Makefile
@@ -15,9 +15,14 @@ do-js: check_protoc
 
 
 check_protoc:
-	@which protoc || (echo "Install protoc version 3.17.3. On Mac, run \"brew install protobuf@3.17.3\"" && exit 1)
-	@pv=`protoc --version`; \
+	which protoc || $(MAKE) protoc_instructions
+	pv=`protoc --version`; \
 	if [ "$$pv" != "libprotoc 3.17.3" ]; then \
 		echo "Protoc version $$pv is not supported."; \
-		exit 1; \
+		$(MAKE) protoc_instructions; \
 	fi
+
+protoc_instructions:
+	echo "Please download version 3.17.3 from here:"
+	echo "https://github.com/protocolbuffers/protobuf/releases/tag/v3.17.3"
+	exit 1