[Error] Critical: Unknown option: --pdf.

[imran-iitp]

iitp@iitp-OptiPlex-9020:~/k/tutorial/1_k/2_imp/lesson_5$ kompile imp.k --pdf [Error] Critical: Unknown option: --pdf

How to solve the above error?

iitp@iitp-OptiPlex-9020:~/k/tutorial/1_k/2_imp/lesson_5$ kompile --version K framework version 4.0-SNAPSHOT Git revision: Git branch: UNKNOWN_BRANCH Build date: Wed Jan 20 15:23:57 IST 2016

[cos]

@imran-iitp, the --pdf option is not available in K 4.0 yet. We are working on it and it should be there in a few weeks.

[mragankyadav]

has this issue been solved ? I am still getting it even after taking the latest master code.

[daejunpark]

@mragankyadav Unfortunately, it is not available yet. Sorry for your inconvenience.

[zanzix]

Just got the same error, is there any news on when this feature will be available?

[msaxena2]

Unfortunately, the feature is still not available. The team at the moment is busy with may high priority changes to K, so it'll be another few weeks until this issue is addressed. We will send out an update once we have the feature.

On Wed, Apr 5, 2017 at 9:16 AM, zanzix [email protected] wrote:

Just got the same error, is there any news on when this feature will be available?

— 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/2152#issuecomment-291875279, or mute the thread https://github.com/notifications/unsubscribe-auth/AFVPSiVg9r3knIRaJ1LFww2vqGdS64h-ks5rs6JLgaJpZM4HkZ6u .

[zanzix]

Sure, no problem!

No rush at all, I was just curious.

Thanks for the work you do, guys - I've just introduced a friend to K and that's how we bumped into this error as it's quite a helpful feature for someone new to the framework to see the code for the rules turn into a more familiar presentation in terms of inference rules.

By the way, speaking of high priority changes - is full support for matching logic one of them? That's something I'm quite interested, in being able to define arbitrary logics.

[stahlbauer]

What is the current status of this issue and the reported problem?

[radumereuta]

This version of K is no longer in active development. You should try and switch to https://github.com/kframework/k