search

kframework / k-legacy

The K tools (deprecated, see README)
http://kframework.org
Other
146 stars 61 forks source link

krun is not quoting filenames correctly #1457

Closed jthywiss closed 9 years ago

jthywiss commented 9 years ago

krun is not quoting filenames correctly:

$ krun test.toksem 
[Error] Critical: Warning: <standard input>, line 2: unable to locate file:
/Users/user/k/a
Warning: <standard input>, line 2 (mod KRUNNER): module TOKSEM does not exist.
Warning: <standard input>, line 3 (mod KRUNNER): bad token #TCPPORT.
Warning: <standard input>, line 3 (mod KRUNNER): no parse for statement
eq #TCPPORT = 49266 .
Warning: <standard input>, line 6: unable to locate file:
/Users/user/k/a

Full path to working directory is /Users/user/k/a b c, so krun should be looking for /Users/user/k/a b c/test.toksem and /Users/user/k/a b c/toksem-kompiled.

kompile works happily in the same directory.

K Version 3.5.1 on Mac OS X 10.9.5

dwightguth commented 9 years ago

This is fixed in K v3.5.2 which I have just released. It is also, hopefully, working already in the master branch, which contains the snapshot of the upcoming K 3.6. Please let me know if this works for you.

jthywiss commented 9 years ago

Thanks, I will test 3.5.2 tomorrow.

jthywiss commented 9 years ago

Actually, I got a moment to check it just now. Fix confirmed.