search

runtimeverification / rv-predict

Code for improved rv-predict and installer
BSD 3-Clause "New" or "Revised" License
2 stars 3 forks source link

Use a proper target "triple" and supply a path to the host tools' #1045

Closed gnuoyd closed 5 years ago

gnuoyd commented 5 years ago

/usr/bin/ so that clang will invoke the right version of QNX's gcc to link. Delete the previous, incorrect hack that I used for linking. Now we can compile & link with qrvpc for arm64 in one step, qrvpc -Vgcc_ntoaarch64le -o simplerace simplerace.c.

gnuoyd commented 5 years ago

Jenkins: test this please.