Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #2310 from nojb/vmthreads_fix 

Makefile: adapt to removal from vmthreads
master
Nicolás Ojeda Bär 2019-03-11 21:56:17 +01:00 committed by GitHub
parent 705054b346 612dbf1b74
commit 29d139c838
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Makefile
View File

@ -927,7 +927,7 @@ clean::
rm -f stdlib/libcamlrun.$(A)
otherlibs_all := bigarray dynlink graph raw_spacetime_lib \
str systhreads threads unix win32graph win32unix
str systhreads unix win32graph win32unix
subdirs := debugger lex ocamldoc ocamltest runtime stdlib tools \
$(addprefix otherlibs/, $(otherlibs_all)) \

1
Makefile.config.in
View File

@ -161,7 +161,6 @@ CC_PROFILE=@cc_profile@
# Currently available:
# unix Unix system calls
# str Regular expressions and high-level string processing
# threads Lightweight concurrent processes
# systhreads Same as threads, requires POSIX threads
# graph Portable drawing primitives for X11
# dynlink Dynamic linking of bytecode