infer_clone

Author	SHA1	Message	Date
Josh Berdine	b6d0e33dfc	[sledge] Simplify build Reviewed By: jvillard Differential Revision: D15316845 fbshipit-source-id: ff7864fb7	6 years ago
Josh Berdine	d5a83894b0	[sledge] Run executables from dune install dir Summary: instead of hard-coding paths into the build dirs. Reviewed By: mbouaziz Differential Revision: D10389472 fbshipit-source-id: 1c90b3c9c	6 years ago
Josh Berdine	f6ba0c8137	[sledge] Update build system, etc. Reviewed By: jvillard Differential Revision: D9850346 fbshipit-source-id: 16fa35ae2	6 years ago

Author

SHA1

Message

Date

Josh Berdine

b6d0e33dfc

[sledge] Simplify build

Reviewed By: jvillard

Differential Revision: D15316845

fbshipit-source-id: ff7864fb7

Josh Berdine

d5a83894b0

[sledge] Run executables from dune install dir

Summary: instead of hard-coding paths into the build dirs.

Reviewed By: mbouaziz

Differential Revision: D10389472

fbshipit-source-id: 1c90b3c9c

Josh Berdine

f6ba0c8137

[sledge] Update build system, etc.

Reviewed By: jvillard

Differential Revision: D9850346

fbshipit-source-id: 16fa35ae2