Plasma GitLab Archive
Projects Blog Knowledge

all: with_xstr_byte with_xstr_opt with_str_byte with_str_opt
clean: 
	rm -f *.cmi *.cmo *.cmx *.o gmon.out 
	rm -f with_str_byte with_str_opt with_xstr_byte with_xstr_opt 
	rm -f with_xstr_opt_p

with_xstr_byte: ../xstr.cma with_xstr.ml
	ocamlc -o with_xstr_byte -I .. xstr.cma with_xstr.ml
with_xstr_opt: ../xstr.cmxa with_xstr.ml
	ocamlopt -o with_xstr_opt -I .. xstr.cmxa with_xstr.ml
with_xstr_opt_p: ../xstr.cmxa with_xstr.ml
	ocamlopt -o with_xstr_opt_p -p -I .. xstr.cmxa with_xstr.ml
with_str_byte: with_str.ml
	ocamlc -o with_str_byte -custom str.cma with_str.ml -cclib -lstr
with_str_opt: with_str.ml
	ocamlopt -o with_str_opt str.cmxa with_str.ml -cclib -lstr

This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml