Merge branch '1.10' of github.com:JetBrains-Research/Lama into 1.10

This commit is contained in:
Dmitry Boulytchev 2021-02-25 08:42:59 +03:00
commit f8179e78df
5 changed files with 35 additions and 26 deletions

View file

@ -24,7 +24,7 @@ $(TOPFILE).byte: $(SOURCES:.ml=.cmo)
$(OCAMLC) -o $(TOPFILE).byte $(BFLAGS) -linkpkg $(SOURCES:.ml=.cmo)
clean:
rm -Rf *.cmi *.cmo *.cmx *.annot *.o *.opt *.byte *~ .depend
$(RM) $(TOPFILE) *.cm[ioxa] *.annot *.o *.opt *.byte *~ .depend
-include .depend
# generic rules