build: added default linker flag in case pkg-config doesn't have z3 i… #378
Job | Run time |
---|---|
16m 17s | |
18m 14s | |
16m 16s | |
19m 10s | |
5m 12s | |
5m 27s | |
4m 32s | |
5m 5s | |
1h 30m 13s |
Job | Run time |
---|---|
16m 17s | |
18m 14s | |
16m 16s | |
19m 10s | |
5m 12s | |
5m 27s | |
4m 32s | |
5m 5s | |
1h 30m 13s |