diff --git a/otherlibs/threads/Makefile b/otherlibs/threads/Makefile index 5e2232609..5535c6390 100644 --- a/otherlibs/threads/Makefile +++ b/otherlibs/threads/Makefile @@ -34,7 +34,8 @@ LIB_OBJS=pervasives.cmo \ $(LIB)/printf.cmo $(LIB)/format.cmo $(LIB)/arg.cmo \ $(LIB)/printexc.cmo $(LIB)/gc.cmo $(LIB)/digest.cmo $(LIB)/random.cmo \ $(LIB)/oo.cmo $(LIB)/genlex.cmo $(LIB)/callback.cmo $(LIB)/weak.cmo \ - $(LIB)/lazy.cmo $(LIB)/filename.cmo + $(LIB)/lazy.cmo $(LIB)/filename.cmo $(LIB)/int32.cmo $(LIB)/int64.cmo \ + $(LIB)/nativeint.cmo all: libthreads.a threads.cma stdlib.cma