diff options
| author | Alasdair Armstrong | 2018-01-23 21:16:02 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-01-23 21:16:02 +0000 |
| commit | d94404854c10960c881b5146f81d4483e73a8ca6 (patch) | |
| tree | 9f61403a8c88814ae91b7dc867b597fe57ea0e69 /src/Makefile | |
| parent | c5db705ca228421b4035b4361aba9823750fd67c (diff) | |
Started working on C backend for sail
Also updated some of the documentation in the sail source code
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index a39067b6..3539088e 100644 --- a/src/Makefile +++ b/src/Makefile @@ -267,7 +267,7 @@ clean: -rm -f ast.lem doc: - ocamlbuild sail.docdir/index.html + ocamlbuild -use-ocamlfind sail.docdir/index.html lib: ocamlbuild pretty_print.cmxa pretty_print.cma |