diff options
| author | Pierre Chambart <pierre.chambart@ocamlpro.com> | 2015-12-17 16:35:35 +0000 |
|---|---|---|
| committer | Pierre Chambart <pierre.chambart@ocamlpro.com> | 2016-01-14 14:20:23 +0100 |
| commit | 828cb4ebb918bdc4bba167c87e4dd0e3b6f75f38 (patch) | |
| tree | 906f229d39068b6ce379c383ea34b13ed9cace21 /Makefile | |
| parent | 868b799304f3f676c0603b7752da0b5db6d33890 (diff) | |
| download | ocaml-828cb4ebb918bdc4bba167c87e4dd0e3b6f75f38.tar.gz | |
Add field in Config for flambda and change the cmx and cmxa magic number
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -414,6 +414,7 @@ utils/config.ml: utils/config.mlp config/Makefile -e 's|%%MKMAINDLL%%|$(MKMAINDLL)|' \ -e 's|%%HOST%%|$(HOST)|' \ -e 's|%%TARGET%%|$(TARGET)|' \ + -e 's|%%FLAMBDA%%|$(FLAMBDA)|' \ utils/config.mlp > utils/config.ml partialclean:: |