mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
Makefile looks for .lhs source files
This commit is contained in:
parent
1a38f470a1
commit
e15e8ee8bb
2
Makefile
2
Makefile
@ -111,7 +111,7 @@ endif
|
||||
|
||||
CRYPTOL_SRC := \
|
||||
$(shell find src cryptol cryptol-server bench \
|
||||
\( -name \*.hs -or -name \*.x -or -name \*.y \) \
|
||||
\( -name \*.hs -or -name \*.lhs -or -name \*.x -or -name \*.y \) \
|
||||
-and \( -not -name \*\#\* \) -print) \
|
||||
$(shell find lib -name \*.cry) \
|
||||
${GIT_INFO_FILES}
|
||||
|
Loading…
Reference in New Issue
Block a user