Add "Building from source" to README

mc-imperial / gpuverify

GPUVerify: a Verifier for GPU Kernels

http://multicore.doc.ic.ac.uk/tools/GPUVerify/

Other

58 stars 15 forks source link

Add "Building from source" to README #36

Closed webmaster128 closed 5 years ago

jeroenk commented 5 years ago

Thanks for the pull request, but this is actually documented in Documentation/developer_guide.rst. I lifted my comment in issue #35 from there, because I didn't want to bother you with the rest of the build process (which is rather involved).

webmaster128 commented 5 years ago

okay, thanks!