-
- Downloads
Move [make view] into Makefile.demo and remove dune rule to build parser.pdf.
This ad hoc dune rule would conflict with dune's default rules and would sometimes cause [make demos] to fail with a message along the lines of "cannot remove parser.ml".
Showing
- demos/.gitignore 1 addition, 0 deletionsdemos/.gitignore
- demos/Makefile.demo 11 additions, 0 deletionsdemos/Makefile.demo
- demos/calc-mini/Makefile 0 additions, 9 deletionsdemos/calc-mini/Makefile
- demos/calc-mini/Makefile.demo 1 addition, 0 deletionsdemos/calc-mini/Makefile.demo
- demos/calc-mini/dune 0 additions, 16 deletionsdemos/calc-mini/dune
- demos/calc-stratified/Makefile 0 additions, 9 deletionsdemos/calc-stratified/Makefile
- demos/calc-stratified/Makefile.demo 1 addition, 0 deletionsdemos/calc-stratified/Makefile.demo
- demos/calc-stratified/dune 0 additions, 16 deletionsdemos/calc-stratified/dune
Loading
Please register or sign in to comment