Add generic build options system to typechecker
[hiphop-php.git] / hphp / hack / src / options / buildOptions.mli
blobe533aa2eecd5d9a67b5e9247c1c9f5490be0cfe4
1 (**
2 * Copyright (c) 2015, Facebook, Inc.
3 * All rights reserved.
5 * This source code is licensed under the BSD-style license found in the
6 * LICENSE file in the "hack" directory of this source tree. An additional grant
7 * of patent rights can be found in the PATENTS file in the same directory.
9 *)
11 (**
12 * Where we look for system-wide configuration files.
14 * Possible values include:
15 * - "/etc": most linux systems
16 * - "/usr/local/etc": MacOS homebrew
18 val system_config_path : string
20 (**
21 * Where to look for hackfmt.
23 * Possible values include:
24 * - "/usr/local/bin/hackfmt": manual builds, Facebook
25 * - "/usr/bin/hackfmt": most linux binary builds
26 * - "/usr/local/Cellar/hhvm/VERSION/bin/hackfmt": MacOS homebrew
28 val default_hackfmt_path : string