@@ -173,6 +173,10 @@ module Args = struct
173173 " the 'Lessons' tab (enabled by default if the repository contains a \
174174 $(i,lessons) directory)"
175175
176+ let editor = enable " editor"
177+ " the 'Editor' tab (enabled by default), for users connected with a \
178+ teacher token, or for all users if static deployment is used."
179+
176180 let exercises = enable " exercises"
177181 " the 'Exercises' tab (enabled by default if the repository contains an \
178182 $(i,exercises) directory)"
@@ -193,6 +197,7 @@ module Args = struct
193197 contents_dir : string ;
194198 try_ocaml : bool option ;
195199 lessons : bool option ;
200+ editor : bool option ;
196201 exercises : bool option ;
197202 playground : bool option ;
198203 toplevel : bool option ;
@@ -201,10 +206,10 @@ module Args = struct
201206
202207 let builder_conf =
203208 let apply
204- contents_dir try_ocaml lessons exercises playground toplevel base_url
205- = { contents_dir; try_ocaml; lessons; exercises; playground; toplevel; base_url }
209+ contents_dir try_ocaml lessons editor exercises playground toplevel base_url
210+ = { contents_dir; try_ocaml; lessons; editor; exercises; playground; toplevel; base_url }
206211 in
207- Term. (const apply $ contents_dir $ try_ocaml $ lessons $ exercises $ playground $ toplevel $ base_url)
212+ Term. (const apply $ contents_dir $ try_ocaml $ lessons $ editor $ exercises $ playground $ toplevel $ base_url)
208213
209214 let repo_conf =
210215 let apply repo_dir exercises_filtered jobs =
@@ -372,13 +377,15 @@ let main o =
372377 \ enablePlayground: %b,\n \
373378 \ enableLessons: %b,\n \
374379 \ enableExercises: %b,\n \
380+ \ enableEditor: %b,\n \
375381 \ enableToplevel: %b,\n \
376382 \ baseUrl: \" %s\"\n \
377383 }\n "
378384 (tutorials_ret <> None )
379385 (playground_ret <> None )
380386 (lessons_ret <> None )
381387 (exercises_ret <> None )
388+ (o.builder.Builder. editor <> Some false )
382389 (o.builder.Builder. toplevel <> Some false )
383390 o.builder.Builder. base_url >> = fun () ->
384391 Lwt. return (tutorials_ret <> Some false && exercises_ret <> Some false )))
0 commit comments