On Sunday, December 29, 2019 at 2:30:52 PM UTC-6, vitalije wrote:
>
> I have finally found some time to continue work on python extension 
> written in Rust and aimed to provide some functions useful for Leo.
>

I just now got around to installing and building mini_leo.

...

Code can be found here. <https://github.com/vitalije/mini_leo/>
> To build it one needs to install rustup, then using it install nightly 
> version toolchain and finally execute `cargo build --lib --release` in the 
> rust folder.
>

Installation was non-trivial. You *must* install the "nightly" version of 
rust!

It's not enough to do `rustup toolchain install nightly`. I had to do a 
complete reinstall of rust.

After that, `cargo build --lib --release` appears to have worked.

> This command will build in the `target/release/libmini_leo.so` on linux 
or `libmini_leo.dll` on Windows.

Now I'm stuck. How do I run mini_leo?

In ...\mini_leo\rust\target\release I see these files:

Directory of c:\leo.repo\mini_leo\rust\target\release

06/20/2020  04:33 PM    <DIR>          .
06/20/2020  04:33 PM    <DIR>          ..
06/20/2020  03:38 PM                 0 .cargo-lock
06/20/2020  04:30 PM    <DIR>          .fingerprint
06/20/2020  04:30 PM    <DIR>          build
06/20/2020  04:33 PM    <DIR>          deps
06/20/2020  03:38 PM    <DIR>          examples
06/20/2020  03:38 PM    <DIR>          incremental
06/20/2020  04:33 PM               287 mini_leo.d
06/20/2020  04:33 PM           434,176 mini_leo.dll
06/20/2020  04:33 PM               980 mini_leo.dll.exp
06/20/2020  04:33 PM             1,972 mini_leo.dll.lib
06/20/2020  04:33 PM         1,175,552 mini_leo.pdb
               6 File(s)      1,612,967 bytes
               7 Dir(s)  91,636,563,968 bytes free

What do I do now?

Edward

-- 
You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/435c96d3-0009-4882-944c-7a6939f7805fo%40googlegroups.com.

Reply via email to