Plasma GitLab Archive
Projects Blog Knowledge

all: sem_pingpong

clean:
	rm -f *.cmi *.cmo *.cma *.cmx *.o *.a
	rm -f sem_pingpong

sem_pingpong: sem_pingpong.ml
	ocamlfind ocamlopt -o sem_pingpong -package netsys -linkpkg \
		sem_pingpong.ml 

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