Commit 51d40257 authored by Sylvain Dailler's avatar Sylvain Dailler

Moved unix_scheduler.mli.

Changed Makefile to make it compile.
parent ce3f5794
......@@ -203,7 +203,7 @@ LIB_WHYML = mlw_ty mlw_expr mlw_decl mlw_pretty mlw_wp mlw_module \
mlw_dexpr mlw_typing mlw_driver mlw_exec mlw_ocaml \
mlw_main mlw_interp
LIB_SESSION = compress xml termcode session session_itp unix_scheduler \
LIB_SESSION = compress xml termcode session session_itp \
session_tools strategy strategy_parser controller_itp \
session_scheduler session_user_interface itp_server
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment