mirrors/lattigo
1
0
Fork 0
mirror of https://github.com/tuneinsight/lattigo.git synced 2025-09-13 03:27:14 +00:00
Code Issues Packages Projects Releases Wiki Activity

dedis/Coding makefile no longer included but set as wildecard target

Browse Source
This commit is contained in:
Christian M
2020-10-07 10:44:05 +02:00
parent c2dff711c2
commit f7c8675870
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
Makefile
View File

@@ -2,7 +2,6 @@
Coding/bin/Makefile.base:
git clone https://github.com/dedis/Coding
include Coding/bin/Makefile.base
.PHONY: test_examples
test_examples:
@@ -18,6 +17,7 @@ test_examples:
@echo ok
.PHONY: test_gotest
test_gotest:
go test -v -short -p=1 ./... -timeout=0
.PHONY: test
@@ -25,3 +25,7 @@ test: test_fmt test_gotest test_examples
.PHONY: local
local: test_fmt test_lint test_gotest test_examples
%: force
@$(MAKE) -f Coding/bin/Makefile.base $@
force: ;