K-user mailing list

[Mike Potanin <mpotanin AT gmail.com>]

Thanks for the Dockerfile!

On Sat, Aug 4, 2018 at 6:25 AM, Jake Gillberg 
<jake.gillberg AT gmail.com>
 wrote:
> Hello!
>
> I am a relatively new k-framework user, (and also haven't reinstalled since
> the k5 repo replaced the k repo) so you might get better answers, but to get
> you started:
>
> repo: https://github.com/kframework/k
>
> how I installed everything (back when v5 was in it's own k5 repo):
> https://github.com/Jake-Gillberg/kframework-env/blob/master/Dockerfile
>
> I learned mostly through this tutorial:
> https://github.com/kframework/k/tree/master/k-distribution/tutorial
> Note, in the tutorial (if things haven't changed), the actual .k files in
> the repo are more up to date and accurate than the tutorial text and videos.
> Also, I never got the auto documentation generation stuff to work, and
> sometimes I had to switch over to the java backend (via command line args)
> to get some commands to work. ¯\_(ツ)_/¯
>
> Good luck! (and interested in seeing other responses)
> -Jake
>
>
> On Fri, Aug 3, 2018 at 11:11 PM, Mike Potanin 
> <mpotanin AT gmail.com>
>  wrote:
>>
>> Hi all!
>>
>> Is there an up-to-date release?
>> Is there an up-to-date tutorial?
>> How to setup required version of ocaml libraries?
>>
>> Mike
>
>