KappaTools icon indicating copy to clipboard operation
KappaTools copied to clipboard

KaSim -log 'name.log' produces 'name.ka' instead

Open hmedina opened this issue 7 years ago • 4 comments

Invoking KaSim and specifying the name of a job log, e.g. $KaSim -i M0.ka -log M0.log, produces a file called M0~0.ka instead of the requested M0.log.

hmedina avatar Feb 13 '18 21:02 hmedina

This is indeed a limitation of Kappa_files.open_out_fresh that imposes its extension instead of respecting the one entered by the user... A clean fix for that would be based on function Filename.extension from OCaml standard library. Problem: this function is OCaml >= 4.4 and KaSim tries to stay Ocaml >= 4.2 compatible... To be continued

pirbo avatar Mar 05 '18 16:03 pirbo

Why are we keeping KaSim compatible with OCaml 4.2?

Is it because more recent versions are more difficult to install? Opam switch has worked well for me, even under the Window Subsystem for Linux (Ubuntu flavor). I have 4.5 up and running.

On Mar 5, 2018 11:24, "Pierre Boutillier" [email protected] wrote:

This is indeed a limitation of Kappa_files.open_out_fresh that imposes its extension instead of respecting the one entered by the user... A clean fix for that would be based on function Filename.extension from OCaml standard library. Problem: this function is OCaml >= 4.4 and KaSim tries to stay Ocaml >= 4.2 compatible... To be continued

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/Kappa-Dev/KaSim/issues/507#issuecomment-370475639, or mute the thread https://github.com/notifications/unsubscribe-auth/ABg9Se9k13nq4gnyzZTp7jFJbifod4ALks5tbWbTgaJpZM4SEcW7 .

hmedina avatar Mar 05 '18 18:03 hmedina

Because "kappa tools should compile with softwares available in the most recent ubuntu LTS". But, it is not the case anyway as we depend upon libresult (aka lwt >= 2.6.0) and there is lwt 2.5.0 in ubuntu 16.04 ! So... 1/ I manage to strip out the dependency of make all upon Result in KaSim4 branch 2/ I'm debating with myself about what to do for master branch

pirbo avatar Mar 13 '18 15:03 pirbo

What's the state of this bug? Seems like low hanging fruit 21 months later with KaSim4 being the master branch...

hmedina avatar Jan 16 '20 20:01 hmedina