2022-07-30 13:37:08 +00:00
|
|
|
#!/usr/bin/env sh
|
|
|
|
|
2023-02-17 18:26:08 +00:00
|
|
|
echo "Telodendria Development Environment"
|
|
|
|
echo "-----------------------------------"
|
|
|
|
echo
|
|
|
|
echo "Tools available:"
|
2023-03-08 03:30:36 +00:00
|
|
|
find tools/bin -type f | grep -v CVS | grep -v '#' | while IFS= read -r tool; do
|
2023-02-17 18:26:08 +00:00
|
|
|
echo "- $(basename $tool)"
|
2022-07-30 13:37:08 +00:00
|
|
|
chmod +x "$tool"
|
|
|
|
done
|
2023-03-08 03:30:36 +00:00
|
|
|
find tools/src -type f -name '*.c' | while IFS= read -r tool; do
|
|
|
|
echo "- $(basename $tool .c)"
|
|
|
|
done
|
2022-07-30 13:37:08 +00:00
|
|
|
|
2023-02-17 18:26:08 +00:00
|
|
|
if which makewhatis 2>&1 > /dev/null; then
|
|
|
|
makewhatis "$(pwd)/man"
|
|
|
|
fi
|
2022-09-30 23:11:44 +00:00
|
|
|
|
2023-03-08 03:30:36 +00:00
|
|
|
export PATH="$(pwd)/tools/bin:$(pwd)/build/tools:$PATH"
|
2022-09-30 23:11:44 +00:00
|
|
|
export MANPATH="$(pwd)/man:$MANPATH"
|