Logo

GitLab

Sign in

Wojciech Jaworski / ENIAM

  • Back to Dashboard
  • Project
  • Activity
  • Files
  • Commits
  • Network
  • Graphs
  • Milestones
  • Issues 0
  • Merge Requests 0
  • Labels
  • Wiki
guesser
  • ENIAM
  • tools
  • concraft
  • makefile
  • Wstępna wersja grafów semantycznych
    a031ab7b
    Wojciech Jaworski authored
    8 years ago  
    Browse File »
makefile 153 Bytes
Edit Raw Blame History Permalink
1 2 3 4 5 6 7
OCAMLOPTFLAGS=unix.cmxa

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

clean:
	rm -f *.cmi *.cmx *.o concraft_test