You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Jules Villard c00b076a05 [setup] opam 2 ... Summary: Switches from opam 1 to opam 2. Opam2 has some cool new features that simplify some of the scripting. Notable changes: 1. Use the new `opam lock` *plugin* from https://github.com/AltGr/opam-lock/ instead of https://github.com/rgrinberg/opam-lock. This has a simpler interface for our purposes. 2. Change the way `./build-infer.sh` can be called to use an already existing switch: simply pass `--user-opam-switch` to the script and it won't attempt to create/set the current switch. This can be used to build infer in a local switch for instance. 3. Take advantage of automatic pinning where possible, eg to install infer deps without using opam.locked. Reviewed By: ngorogiannis Differential Revision: D13167863 fbshipit-source-id: 1a667c270		6 years ago
..
check_hash_collisions.py	Change license to MIT	7 years ago
create_annotations_release.sh	Change license to MIT	7 years ago
create_binary_release.sh	[setup] opam 2	6 years ago
infer_repl	[toplevel] do not change directories to run the toplevel	6 years ago
make-strict-mode.sh	[starvation] strict mode meta-analyzer for Android	6 years ago
ocamlformat_shim.sh	Add ocamlformat shim script to install correct version	6 years ago
opam_utils.sh	[setup] opam 2	6 years ago
toplevel_init	[Loop-hoisting] Add a new checker for hoisting invariant function calls	6 years ago