Add GNAT

diff --git a/.bashrc b/.bashrc
index afb38a9..5963e6c 100644 (file)
--- a/.bashrc
+++ b/.bashrc
@@ -59,21 +59,27 @@ export SVN_EDITOR=vim
 # this, if it's already enabled in /etc/bash.bashrc and /etc/profile
 # sources /etc/bash.bashrc).
 if [ -f /etc/bash_completion ]; then
-    . /etc/bash_completion
+  . /etc/bash_completion
 fi
 
 # Add the ~/bin directory to the path.  This allows you to install simple
 # binaries by simply moving them into ~/bin.
 if [ -d $HOME/bin ]; then
-       PATH="$HOME/bin:$PATH"
-       export PATH
+  PATH="$HOME/bin:$PATH"
+  export PATH
 fi
 
 # Put $HOME/.cabal/bin on the path. Installing cabal doesn't
 # automatically put installed packages on the path.
 if [ -d $HOME/.cabal/bin ]; then
-    PATH="$HOME/.cabal/bin:$PATH"
-    export PATH
+  PATH="$HOME/.cabal/bin:$PATH"
+  export PATH
+fi
+
+# Put GNAT bin installation on the path if it exists
+if [ -d $HOME/opt/GNAT/2020/bin ]; then
+  PATH="$HOME/opt/GNAT/2020/bin:$PATH"
+  export PATH
 fi
 
 # Put /usr/local/bin (where homebrew installs stuff) before /usr/bin on the