- re-created the configure script (it was outdated and broke "make install-all")
- re-created the configure script (it was outdated and broke "make install-all")
seyyed/scalaris,seyyed/scalaris,seyyed/scalaris,seyyed/scalaris,digshock/scalaris,digshock/scalaris,digshock/scalaris,seyyed/scalaris,digshock/scalaris,tectronics/scalaris,digshock/scalaris,tectronics/scalaris,tectronics/scalaris,tectronics/scalaris,tectronics/scalaris,seyyed/scalaris,digshock/scalaris,seyyed/scalaris,digshock/scalaris,tectronics/scalaris,tectronics/scalaris