6 lines
259 B
Bash
Executable File
6 lines
259 B
Bash
Executable File
sudo -u postgres -i sh -c "dropdb ag_gen" || true
|
|
sudo -u postgres -i sh -c "createdb ag_gen ag_gen"
|
|
psql ag_gen < schema.sql
|
|
./ag_gen -n ../examples/thesis_example.nm -x ../examples/thesis_example.xp -g DOTFILE2.dot -t 1 -q 1
|
|
dot -Tsvg DOTFILE2.dot > ag.svg
|