You've already forked startup-gen
mirror of
https://github.com/AdaCore/startup-gen.git
synced 2026-02-12 13:02:12 -08:00
13 lines
235 B
Bash
Executable File
13 lines
235 B
Bash
Executable File
# Cleanup the working dir and initialize a new database
|
|
|
|
DB=$1
|
|
sudo rm -rf .tmp/*
|
|
|
|
python setup.py build
|
|
python setup.py install
|
|
|
|
cp ./querytool.py $HOME/ancr/src/libadalang_for_gps/build/python/querytool.py
|
|
|
|
rm $DB
|
|
querytool init $DB
|