From 57c70d658d9a3462a8a37e56290060919d5511ca Mon Sep 17 00:00:00 2001 From: David Kerkeslager Date: Sun, 13 Apr 2025 16:58:29 -0400 Subject: [PATCH] Add GNAT --- .bashrc | 16 +++++++++++----- 1 file changed, 11 insertions(+), 5 deletions(-) diff --git a/.bashrc b/.bashrc index afb38a9..5963e6c 100644 --- 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 -- 2.20.1