Logo

GitLab

Sign in

Wojciech Jaworski / ENIAM

  • Back to Dashboard
  • Project
  • Activity
  • Files
  • Commits
  • Network
  • Graphs
  • Milestones
  • Issues 0
  • Merge Requests 0
  • Labels
  • Wiki
  • ENIAM
  • tools
  • swigra
  • parser
  • makefile
  • Added interactive versions of Concraft, MACA, and Świgra along with installation instructions.
    482d7740
    Jan Lupa authored
    2017-05-29 23:29:20 +0200  
    Browse Code ยป
makefile 130 Bytes
Edit Raw Blame History Permalink
1 2 3 4 5 6 7
OCAMLOPTFLAGS=unix.cmxa

all: swigra_test.ml
	ocamlopt -o swigra_test $(OCAMLOPTFLAGS) swigra_test.ml

clean:
	rm *.cmi *.cmx *.o