Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
3e8bdf54
Commit
3e8bdf54
authored
Jul 10, 2007
by
Pietro Abate
Browse files
[r2005-02-02 16:33:31 by afrisch] Empty log message
Original author: afrisch Date: 2005-02-02 16:33:32+00:00
parent
0faf7f2d
Changes
2
Hide whitespace changes
Inline
Side-by-side
Makefile.types
View file @
3e8bdf54
...
...
@@ -36,7 +36,9 @@ SRC= \
misc/stats.ml
\
types/ident.ml
\
types/types.mli
\
types/types.ml
types/types.ml
\
types/sequence.mli
\
types/sequence.ml
ML_SRC
=
$(
filter
%.ml,
$(SRC)
)
OBJECTS
=
$
(
ML_SRC:.ml
=
.
$(EXT)
)
...
...
types_depend
View file @
3e8bdf54
...
...
@@ -42,8 +42,6 @@ types/ident.cmx: misc/encodings.cmx misc/ns.cmx misc/pool.cmx \
types/intervals.cmi: misc/custom.cmo
types/intervals.cmo: misc/serialize.cmi types/intervals.cmi
types/intervals.cmx: misc/serialize.cmx types/intervals.cmi
types/intervals.cmo: misc/serialize.cmi types/intervals.cmi
types/intervals.cmx: misc/serialize.cmx types/intervals.cmi
misc/inttbl.cmo: misc/inttbl.cmi
misc/inttbl.cmx: misc/inttbl.cmi
types/normal.cmo: types/normal.cmi
...
...
@@ -68,3 +66,6 @@ types/types.cmx: types/atoms.cmx misc/bool.cmx types/chars.cmx \
misc/inttbl.cmx types/normal.cmx misc/pool.cmx misc/pretty.cmx \
misc/serialize.cmx types/sortedList.cmx misc/state.cmx misc/stats.cmx \
types/types.cmi
types/sequence.cmi: types/atoms.cmi types/types.cmi
types/sequence.cmo: types/atoms.cmi types/types.cmi types/sequence.cmi
types/sequence.cmx: types/atoms.cmx types/types.cmx types/sequence.cmi
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment