diff options
Diffstat (limited to 'oecho/Makefile')
| -rw-r--r-- | oecho/Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
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 |