file not found error on windows

[andreistefanescu]

Paths do not work properly on windows as shown below

D:\k\tutorial\1_k\1_lambda\lesson_7>kompile lambda.k
[Error] Critical: Could not find 'required' file: substitution.k
       Source(D:\k\tutorial\1_k\1_lambda\lesson_7\lambda.k)
       Location(3,1,3,24)

[radumereuta]

I just tried it on windows with the latest version, and it works correctly. Try to see if you have a clean installation and all paths set up correctly.

[andreistefanescu]

@grosu I created this issues based on my recollection of what we discussed. @radumereuta maybe you guys can talk and figure out what the problem is.

[radumereuta]

If the problem is still there I can have a look. I tested it on my windows computer and it works as expected.

[traiansf]

I remember encountering a similar problem in Windows. I'll try to re-reproduce it

În Mar, 23 aug. 2016, 00:50 Radu Mereuta, [email protected] a scris:

If the problem is still there I can have a look. I tested it on my windows computer and it works as expected.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/kframework/k/issues/2193#issuecomment-241562373, or mute the thread https://github.com/notifications/unsubscribe-auth/ACwZU2daVmR-cRo9s2ht7blLUk5gZtdGks5qihmsgaJpZM4JcRoB .