search

urweb / urweb

The Ur/Web programming language
http://www.impredicative.com/ur/
Other
805 stars 66 forks source link

Failed to ./configure when using Debian with WSL - -bash: ./configure: Permission denied #252

Open marcio-loiola opened 1 year ago

marcio-loiola commented 1 year ago

Hello!

I have unzipped the latest tarball of the Urweb project from the official site http://www.impredicative.com/ur/ in my Debian WSL environment. However, I'm having trouble compiling the project with GNU Make, as I'm receiving the following message:

sirius@Notebook-Marcio:~/urweb-p/urweb-20200209$ ./configure -bash: ./configure: Permission denied

And -> image

As a computer engineering student, I'm a little new to Linux. Can anyone offer any assistance?

JasonGross commented 11 months ago

./configure works fine on my WSL machine. You downloaded it from https://github.com/urweb/urweb/releases/download/20200209/urweb-20200209.tar.gz ? If you ls, it should look like this: image and ls -la should look like this: image In particular, if you ls -la configure, the mode bits on the left should be -rwxr-xr-x and the user should be sirius.

Did you unpack the archive from the Windows side or from the WSL side?