max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix: macOS build, once more

Browse source
This commit is contained in:
Sebastian Ullrich 2021-10-09 10:24:30 +02:00
parent 1f1dc0b471
commit 2ab8a38daa
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/lean.mk.in
View file

@ -83,9 +83,9 @@ ifdef CMAKE_LIKE_OUTPUT
@echo "[ ] Linking $@"
endif
ifdef PROFILE
\time -f "%U %S" $(LEANC) -o "$@" $^ $(LINK_OPTS) 2>&1 > /dev/null | awk '{ printf "C linking %fs\n", $$1 + $$2 }' > /dev/stderr
\time -f "%U %S" $(LEANC) -o "$@" $^ $(LEANC_OPTS) $(LINK_OPTS) 2>&1 > /dev/null | awk '{ printf "C linking %fs\n", $$1 + $$2 }' > /dev/stderr
else
$(LEANC) -o "$@" $^ $(LINK_OPTS)
$(LEANC) -o "$@" $^ $(LEANC_OPTS) $(LINK_OPTS)
endif
$(LIB_OUT)/$(STATIC_LIB_NAME): $(addprefix $(TEMP_OUT)/,$(SRCS:.lean=.o)) | $(LIB_OUT)