git.annexia.org
/
wrappi.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add more realistic type system.
[wrappi.git]
/
generator-lib
/
Makefile.am
diff --git
a/generator-lib/Makefile.am
b/generator-lib/Makefile.am
index
a33d115
..
f502f2d
100644
(file)
--- a/
generator-lib/Makefile.am
+++ b/
generator-lib/Makefile.am
@@
-25,8
+25,8
@@
OCAMLOPTFLAGS = $(OCAMLCFLAGS)
# In alphabetical order.
SOURCES = \
config.ml \
# In alphabetical order.
SOURCES = \
config.ml \
- wrappi_
globals
.mli \
- wrappi_
globals
.ml \
+ wrappi_
accumulator
.mli \
+ wrappi_
accumulator
.ml \
wrappi_types.mli \
wrappi_types.ml \
wrappi_utils.mli \
wrappi_types.mli \
wrappi_types.ml \
wrappi_utils.mli \
@@
-37,7
+37,7
@@
OBJECTS = \
config.cmo \
wrappi_utils.cmo \
wrappi_types.cmo \
config.cmo \
wrappi_utils.cmo \
wrappi_types.cmo \
- wrappi_
globals
.cmo
+ wrappi_
accumulator
.cmo
noinst_SCRIPTS = generator_lib.cma
noinst_SCRIPTS = generator_lib.cma