2020-12-03 18:56:35 +00:00
|
|
|
make:
|
2020-12-24 18:22:52 +00:00
|
|
|
make clean && \
|
2020-12-03 18:56:35 +00:00
|
|
|
cd build/ && \
|
|
|
|
gnat make -gnatwa -gnata -g ../src/*.adb
|
|
|
|
|
|
|
|
clean:
|
|
|
|
cd build/ && \
|
|
|
|
gnat clean ../src/*.adb
|
|
|
|
|
2020-12-22 13:26:25 +00:00
|
|
|
test:
|
|
|
|
bash test_pagerank.bash
|