From 55af83de03b399e523b8e1fa7e9b4b1abeceb3a1 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Thu, 25 Mar 2021 06:17:57 -0700
Subject: [PATCH] [sledge] Add convenience links to executables

Summary:
The names of the compiled sledge executables are long, which is
inconvenient. Also, all build modes produce an executable named
`sledge`, so it is not possible to add them to PATH and still be able
to run the desired executable. This diff adds a directory of symbolic
links with different names that refer to the executables built in the
different build modes. The intent is for people to add .../sledge/bin
to their PATH.

Reviewed By: jvillard

Differential Revision: D27315805

fbshipit-source-id: 7e84e43a7
---
 sledge/bin/sledge     | 1 +
 sledge/bin/sledge.dbg | 1 +
 sledge/bin/sledge.trc | 1 +
 3 files changed, 3 insertions(+)
 create mode 120000 sledge/bin/sledge
 create mode 120000 sledge/bin/sledge.dbg
 create mode 120000 sledge/bin/sledge.trc

diff --git a/sledge/bin/sledge b/sledge/bin/sledge
new file mode 120000
index 000000000..ff52996e4
--- /dev/null
+++ b/sledge/bin/sledge
@@ -0,0 +1 @@
+../_build/_install/release/bin/sledge
\ No newline at end of file
diff --git a/sledge/bin/sledge.dbg b/sledge/bin/sledge.dbg
new file mode 120000
index 000000000..dc7d8380f
--- /dev/null
+++ b/sledge/bin/sledge.dbg
@@ -0,0 +1 @@
+../_build/_install/debug/bin/sledge
\ No newline at end of file
diff --git a/sledge/bin/sledge.trc b/sledge/bin/sledge.trc
new file mode 120000
index 000000000..01723038b
--- /dev/null
+++ b/sledge/bin/sledge.trc
@@ -0,0 +1 @@
+../_build/_install/trace/bin/sledge
\ No newline at end of file