Parent Directory
|
Revision Log
|
Patch
| revision 1447 by abate, Tue Jul 10 18:50:35 2007 UTC | revision 1448 by abate, Tue Jul 10 18:50:42 2007 UTC | |
|---|---|---|
| # | Line 38 | Line 38 |
| 38 | types/types.mli \ | types/types.mli \ |
| 39 | types/types.ml \ | types/types.ml \ |
| 40 | types/sequence.mli \ | types/sequence.mli \ |
| 41 | types/sequence.ml | types/sequence.ml \ |
| 42 | types/sample.mli \ | |
| 43 | types/sample.ml \ | |
| 44 | types/patterns.mli \ | |
| 45 | types/patterns.ml | |
| 46 | ||
| 47 | ||
| 48 | ML_SRC=$(filter %.ml,$(SRC)) | ML_SRC=$(filter %.ml,$(SRC)) |
| 49 | OBJECTS=$(ML_SRC:.ml=.$(EXT)) | OBJECTS=$(ML_SRC:.ml=.$(EXT)) |
|
||||||||
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |