index
:
misc.git
master
Misc configuration files, notes, and scripts
Runxi Yu
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
ada.sh
blob: b1936b427b0b7356d9473c39030e183b83cc0de1 (
plain
) (
blame
)
1
2
3
4
#!/bin/sh
gcc
-c
"
$1
"
gnatbind
"$(basename "
$1
" .adb)"
gnatlink
"$(basename "
$1
" .adb)"