GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2025-01-05 15:07:12 +03:00
Code Issues Projects Releases Wiki Activity

Makefile wibbles

Browse Source
This commit is contained in:
Trevor Elliott 2015-09-28 13:58:39 -07:00
parent 91eae415c2
commit 2a202fd60a
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
Makefile
View File

@ -175,7 +175,7 @@ PKG_EXCONTRIB_FILES := examples/contrib/mkrand.cry \
examples/contrib/simon.cry \
examples/contrib/speck.cry
${PKG}: ${PKG_BIN}/cryptol
${PKG}: ${CRYPTOL_EXE}
${PKG_BIN}/cryptol: ${CRYPTOL_EXE} \
docs/*.md docs/*.pdf LICENSE LICENSE.rtf \
@ -244,6 +244,9 @@ test: ${CS_BIN}/cryptol-test-runner ${PKG_BIN}/cryptol
$(if $(TEST_DIFF),-p $(TEST_DIFF),) \
)
print-%:
@echo "$* = $($*)"
# Since this is meant for development rather than end-user builds,
# this tries to stay out of the way of the other targets by
# reconfiguring, then removing dist/setup-config so that other targets