diff options
Diffstat (limited to 'generator')
| -rw-r--r-- | generator/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generator/Makefile.am b/generator/Makefile.am index cb0a9878..b9fcfb94 100644 --- a/generator/Makefile.am +++ b/generator/Makefile.am @@ -54,8 +54,8 @@ OBJECTS = $(SOURCES_ML:.ml=.cmo) EXTRA_DIST = $(SOURCES) -OCAMLCFLAGS = -I +xml-light -I +../pkg-lib/xml-light -warn-error CDEFLMPSUVYZX -OCAMLCLIBS = xml-light.cma unix.cma str.cma +OCAMLCFLAGS = -warn-error CDEFLMPSUVYZX +OCAMLCLIBS = unix.cma str.cma noinst_PROGRAM = generator |