1(* :mode=isabelle-options: *) 2 3section "Admin tools" 4 5option isabelle_components_server : string = "lxbroy10.informatik.tu-muenchen.de" 6 -- "user@host for SSH connection" 7 8option isabelle_components_dir : string = "/home/isabelle/components" 9 -- "webspace for ISABELLE_COMPONENT_REPOSITORY" 10 11option isabelle_components_contrib_dir : string = "/home/isabelle/contrib" 12 -- "unpacked components for remote build services" 13 14 15option build_release_server_linux : string = "" 16 -- "SSH user@host for remote build of heaps" 17 18option build_release_server_macos : string = "" 19 -- "SSH user@host for remote build of heaps" 20 21option build_release_server_windows : string = "" 22 -- "SSH user@host for remote build of heaps" 23