Searched defs:OCAML_FLEXLINK (Results 1 – 8 of 8) sorted by relevance
24 export OCAML_FLEXLINK:= macro26 export OCAML_FLEXLINK:=$(ROOTDIR)/boot/ocamlrun $(ROOTDIR)/flexdll/flexlink.exe macro
81 export OCAML_FLEXLINK:= macro83 export OCAML_FLEXLINK:=$(ROOTDIR)/boot/ocamlrun $(ROOTDIR)/flexdll/flexlink.exe macro