diff options
| author | pacien | 2018-04-22 22:39:56 +0200 |
|---|---|---|
| committer | pacien | 2018-04-22 22:39:56 +0200 |
| commit | 0027c7b647e1b345badbb01bcafd22feee075470 (patch) | |
| tree | 8cf72c45c517b20c1adfe4eba25f8b3358115282 /makefile | |
| parent | db9de5bc717be46f0ca2dc1aa975c75adca6264d (diff) | |
| download | urm-0027c7b647e1b345badbb01bcafd22feee075470.tar.gz | |
Implement program execution from command line
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 3 |
1 files changed, 2 insertions, 1 deletions
| @@ -6,7 +6,8 @@ SOURCES = \ | |||
| 6 | parser.mli parser.ml \ | 6 | parser.mli parser.ml \ |
| 7 | instptr.mli instptr.ml \ | 7 | instptr.mli instptr.ml \ |
| 8 | reg.mli reg.ml \ | 8 | reg.mli reg.ml \ |
| 9 | urm.mli urm.ml urm_test.ml | 9 | urm.mli urm.ml urm_test.ml \ |
| 10 | main.ml | ||
| 10 | 11 | ||
| 11 | OCAMLMAKEFILE = /usr/share/ocamlmakefile/OCamlMakefile | 12 | OCAMLMAKEFILE = /usr/share/ocamlmakefile/OCamlMakefile |
| 12 | include $(OCAMLMAKEFILE) | 13 | include $(OCAMLMAKEFILE) |