From f27b862de13ba3c0b7fce10cfacc9f3e28dbec86 Mon Sep 17 00:00:00 2001 From: Darren Li Date: Sun, 31 Mar 2024 19:01:05 +1100 Subject: [PATCH] Added chmod 755 line to make release-static --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index c23d7e9..a0e8675 100644 --- a/Makefile +++ b/Makefile @@ -27,6 +27,7 @@ release-static : OCAMLPARAM='_,ccopt=-static' dune build --release bin/docfd.exe mkdir -p statically-linked cp -f _build/default/bin/docfd.exe statically-linked/docfd + chmod 755 statically-linked/docfd .PHONY: tests tests :