diff options
| author | hattenberger | 2011-01-03 17:39:47 +0000 |
|---|---|---|
| committer | hattenberger | 2011-01-03 17:39:47 +0000 |
| commit | 93717e0b2c10f79f0456db95a1ab018d15cdbc41 (patch) | |
| tree | 9f894c6dd8eb2f65424927f30604c8efc7008b69 /examples/Makefile | |
| parent | 45995c724ad89b4f782721e7ac21445295c2453b (diff) | |
| download | ivy-ocaml-93717e0b2c10f79f0456db95a1ab018d15cdbc41.zip ivy-ocaml-93717e0b2c10f79f0456db95a1ab018d15cdbc41.tar.gz ivy-ocaml-93717e0b2c10f79f0456db95a1ab018d15cdbc41.tar.bz2 ivy-ocaml-93717e0b2c10f79f0456db95a1ab018d15cdbc41.tar.xz | |
Update the latest version of ivy-ocaml
Diffstat (limited to 'examples/Makefile')
| -rw-r--r-- | examples/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/examples/Makefile b/examples/Makefile index fe4cb48..d110fd0 100644 --- a/examples/Makefile +++ b/examples/Makefile @@ -5,6 +5,8 @@ OCAMLMLI = ocamlc -I .. OCAMLOPT = ocamlopt OCAMLDEP=ocamldep +all: ivyprobe.out glibivyprobe.out + ivyprobe.out : ivyprobe.cmo ivyivyprobe.cmo $(OCAMLC) -custom -o $@ unix.cma ivy-ocaml.cma $^ |