search

snu-sf-class / pl201602

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

There is an error when i type "make" (내용 수정) #22

Open dreamtaker1001 opened 8 years ago

dreamtaker1001 commented 8 years ago

dreamtaker:01$ make "coqc" -q -R "." Top -I "." E01_01.v File "./E01_01.v", line 1, characters 0-19: Error: The file /home/dreamtaker/pl201602/assignments/01/P01.vo contains library P01 and not library Top.P01 makefile:270: recipe for target 'E01_01.vo' failed make: *\ [E01_01.vo] Error 1

What should i do?

(added) I just compile each file using command 'coqc E0#_01.v' and finally command make show me following things

dreamtaker:01$ make make: Nothing to be done for 'all'.

and if i type make eval

dreamtaker:01$ make eval make: *\ No rule to make target 'eval'. Stop.

message above occurs.

aqjune commented 8 years ago

Would you try git pull and make again? If this doesn't work, you can come into office with your laptop (if necessary).