search

uwplse / stng

compiler for fortran stencils using verified lifting,
http://stng.uwplse.org
MIT License
17 stars 4 forks source link

backend docker instructions #7

Closed akcheung closed 7 years ago

akcheung commented 7 years ago

Should it be docker build --rm -t stng_backend . rather than docker build --rm -t stng_backend ?

akcheung commented 7 years ago

Also, should skdsl -> stng_backend?

sdorkenw commented 7 years ago

I can confirm that both changes are true and needed.