mirror of
https://github.com/Gator96100/ProxSpace.git
synced 2025-03-12 04:36:22 -07:00
27 lines
1015 B
Bash
27 lines
1015 B
Bash
# Gnatmake completion -*- shell-script -*-
|
|
# by Ralf_Schroth@t-online.de (Ralf Schroth)
|
|
|
|
_gnatmake()
|
|
{
|
|
local cur prev words cword
|
|
_init_completion || return
|
|
|
|
if [[ $cur == -* ]]; then
|
|
# relevant (and less relevant ;-) )options completion
|
|
COMPREPLY=($(compgen -W '-a -c -f -i -j -k -m -M -n -o -q -s -v -z
|
|
-aL -A -aO -aI -I -I- -L -nostdinc -nostdlib -cargs -bargs -largs
|
|
-fstack-check -fno-inline -g -O1 -O0 -O2 -O3 -gnata -gnatA -gnatb
|
|
-gnatc -gnatd -gnatD -gnate -gnatE -gnatf -gnatF -gnatg -gnatG
|
|
-gnath -gnati -gnatk -gnatl -gnatL -gnatm -gnatn -gnato -gnatO
|
|
-gnatp -gnatP -gnatq -gnatR -gnats -gnatt -gnatT -gnatu -gnatU
|
|
-gnatv -gnatws -gnatwe -gnatwl -gnatwu -gnatW -gnatx -gnatX -gnaty
|
|
-gnatz -gnatZ -gnat83' -- "$cur"))
|
|
else
|
|
# source file completion
|
|
_filedir '@(adb|ads)'
|
|
fi
|
|
} &&
|
|
complete -F _gnatmake gnatmake
|
|
|
|
# ex: filetype=sh
|