Le mar. 30 mars 2021 à 03:45, Grégory Vanuxem <[email protected]> a écrit :
>
> Hi,
>
> I'm trying your plugin and it looks promising, thanks.
> Unfortunately I still can't get it to work on Windows to have full
> functionalities.
> I presume a path problem to FriCAS 'target' directory, I have to
> investigate the problem.
> I'll tell you necessary tricks if I find how it's possible to get it
> to work. Maybe you know how?

I forgot, the error message is "The selected directory is not a valid
home for FriCAS SDK".

C:\FriCAS\lib\fricas\target\x86_64-w64-mingw32

With in it:
Mode                 LastWriteTime         Length Name
----                 -------------         ------ ----
d-----        16/03/2021     17:54                algebra
d-----        16/03/2021     17:54                autoload
d-----        16/03/2021     17:54                bin
d-----        16/03/2021     17:54                lib
d-----        16/03/2021     17:54                share
d-----        16/03/2021     17:54                src

Greg

> Nevertheless, I use a lot VSCode because it's possible to easily
> switch between Windows and Linux (WSL) OSes, it's just one click with
> VSCode
> only installed on Windows. So it helps to code on Windows or on Linux
> with all their development tools, shells etc. And since I ported the
> Atom
> spad syntax code* from Bill Page to VSCode I looked at your source and
> code. Astonishing! But I noticed that maybe you can add the ')if false
> **** )endif' comments, see for example texmacs.spad. And last thing,
> I'm just trying your plugin for now, more important, apparently you
> forgot floating point numbers (with or without 'e'). 1.2 is treated as
> two integers separated by a dot, so colors are different.
>
> That's all :)
>
> Greg
>
> * Bill you forgot to change *.*.python to *.*.spad for several "name"s
> in your .cson syntax file ;). See quoted strings part.
>
>
>
>
> Le sam. 3 mars 2018 à 11:28, Peter Broadbery <[email protected]> a écrit :
> >
> >
> > Hi,
> >
> > I've just uploaded a preliminary intellij plugin for Fricas and Aldor code.
> > This version supports:
> > - Syntax highlighting
> > - Type browser (SPAD code only)
> > - Documentation for types and operations
> > - Running .input files
> >
> > It's good enough for me to use on aldor code, and looks good for Spad.
> >
> > Release is here: 
> > https://github.com/pbroadbery/aldor-idea-plugin/releases/tag/preview-3
> > There are some "getting started" notes on the wiki pages..
> > https://github.com/pbroadbery/aldor-idea-plugin/wiki .  There's some parts 
> > that might need a fuller explanation (especially if you're new to 
> > intellij), so feedback appreciated.
> >
> > For this to work, I've also modified the Aldor compiler so that it can 
> > export domains as java classes (and vice-versa).  The plugin uses a very 
> > rough Aldor implementation of the Spad and Aldor type systems in 
> > https://github.com/pbroadbery/fricas-aldor-types.
> >
> > If anyone is interested in improving either the plugin (java) or the type 
> > inference bit (aldor), or the aldor/java interface (mostly C), please let 
> > me know.  There's a lot of additional functionality that could be added.
> >
> > Equally, suggestions for improvements welcome.
> >
> > Peter
> >
> > --
> > You received this message because you are subscribed to the Google Groups 
> > "FriCAS - computer algebra system" group.
> > To unsubscribe from this group and stop receiving emails from it, send an 
> > email to [email protected].
> > To post to this group, send email to [email protected].
> > Visit this group at https://groups.google.com/group/fricas-devel.
> > For more options, visit https://groups.google.com/d/optout.
>
>
>
> --
> __
> G. Vanuxem



-- 
__
G. Vanuxem

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" 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/fricas-devel/CAHnU2da3R_Y7B%2BoQtOEXvvjqSEezKpPMQvf4saYo9WPX5-hidw%40mail.gmail.com.

Reply via email to