diff options
Diffstat (limited to 'binary-compat/otherlibs/dynlink/Makefile')
| -rw-r--r-- | binary-compat/otherlibs/dynlink/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/binary-compat/otherlibs/dynlink/Makefile b/binary-compat/otherlibs/dynlink/Makefile index 15e7c46d88..baddaa9478 100644 --- a/binary-compat/otherlibs/dynlink/Makefile +++ b/binary-compat/otherlibs/dynlink/Makefile @@ -37,6 +37,8 @@ COMPILEROBJS=\ ../../compat/3.11.2/v3112_types.cmo \ ../../compat/3.12.0/v3120_types.cmo \ ../../typing/cmi_format.cmo \ + ../../compat/3.11.2/v3112_ast.cmo \ + ../../compat/3.12.0/v3120_ast.cmo \ ../../compat/3.11.2/v3112_cmi.cmo \ ../../compat/3.12.0/v3120_cmi.cmo \ ../../typing/env.cmo \ |