Jaco van de Pol

Results 1 comments of Jaco van de Pol

I noticed that the "make install" target is also not generated on ubuntu. The document recommends using "make install" (https://trolando.github.io/sylvan/) The fmt-utwente clone of Sylvan is still installing properly.