search

snu-sf-class / pl201602

SNU 2016 Fall 4190.310 Programming Language
22 stars 10 forks source link

[Cygwin] environment path(?) seems wiered... #8

Closed Holim0711 closed 8 years ago

Holim0711 commented 8 years ago

When I try to make clean, it fails like this.

$ make -f Makefile.coq clean rm -f blah blah... find . -name .coq-native -type d -empty -delete FIND: ▒Ű▒ ▒▒▒▒ ▒▒▒▒▒▒ Ʋ▒▒▒ϴ▒. make: *\ [clean] Error 2

'FIND: ▒Ű▒ ▒▒▒▒ ▒▒▒▒▒▒ Ʋ▒▒▒ϴ▒.' <- This seems like Windows 'find.exe' error message. But when I try 'which find' in Cygwin, then the result is okay, '/usr/bin/find'.

jeehoonkang commented 8 years ago

Did you try find ... (the command make tries to do)?

Holim0711 commented 8 years ago

Yes, I tried in command line. And it works good. But only when trying with 'make', it fails...

Holim0711 commented 8 years ago

http://stackoverflow.com/questions/3297953/cygwin-make-cant-find-cygwin-commands This is a similar problem from StackOverflow, but the solution didn't work for me..

Holim0711 commented 8 years ago

I made the new value $(FIND) at the top of 'Makefile.coq' and change the 'find' command. ($(FIND) is '/usr/bin/find.exe')

But then this error came... process_begin: CreateProcess(NULL, /usr/bin/find.exe . -name .coq-native -type d -empty -delete, ...) failed. make (e=2): ▒▒▒▒▒▒ ▒▒▒▒▒▒ ã▒▒ ▒▒ ▒▒▒▒▒ϴ▒.

jeehoonkang commented 8 years ago

I don't think I can reproduce the symptom. Would you please come to my office next Monday or Tuesday? Please mail to pl201602@sf.snu.ac.kr to make an appointment.

Thank you, Jeehoon

aqjune commented 8 years ago

For the CreateProcess(NULL, ... error, I found the error message in https://github.com/libusb/libusb/issues/21. It says that if there exists another make.exe in your computer, then it will cause error. Did you install MinGW in your computer & PATH has the mingw path? You can rename make.exe files in your mingw folder and retry it. One more thing.. Cygwin has two versions : 32-bit / 64 bit. You can check whether you installed correct cygwin as well.

Holim0711 commented 8 years ago

Oh, the path of 'make' is from Coq, not Cygwin. That would be the clue. I will give it a try.

Holim0711 commented 8 years ago

It is solved! I didn't install the 'make' package... There is 'make' in Coq, so I didn't know that I didn't. Check whether you install right packages. 'make' package and also 'zip' package too.