diff options
Diffstat (limited to 'utils/config.mlp')
| -rw-r--r-- | utils/config.mlp | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/utils/config.mlp b/utils/config.mlp deleted file mode 100644 index 27505fde09..0000000000 --- a/utils/config.mlp +++ /dev/null @@ -1,16 +0,0 @@ -let standard_library = "%%LIBDIR%%" - -let c_compiler = "%%CC%%" - -let c_libraries = "%%CCLIBS%%" - -let version = "1.02" - -let exec_magic_number = "Caml1999X001" -and cmi_magic_number = "Caml1999I001" -and cmo_magic_number = "Caml1999O001" -and cma_magic_number = "Caml1999A001" - -let load_path = ref ([] : string list) - -let max_tag = 251 |