From 81cece0dc62e1ba9d162ab12ae361b870d74568a Mon Sep 17 00:00:00 2001 From: ZoRo Date: Sat, 27 Jun 2020 18:02:17 +0100 Subject: oecho,omkdir,ormdir,omkfile --- oecho/Makefile | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 oecho/Makefile (limited to 'oecho/Makefile') diff --git a/oecho/Makefile b/oecho/Makefile new file mode 100644 index 0000000..d47d838 --- /dev/null +++ b/oecho/Makefile @@ -0,0 +1,7 @@ +make: + ocamlopt oecho.ml -o oecho + ocamlopt oecho0.ml -o oecho0 + +static: + ocamlopt -ccopt -static oecho.ml -o oecho + ocamlopt -ccopt -static oecho0.ml -o oecho0 \ No newline at end of file -- cgit v1.2.3