[C.CC USERS] Occam Editor

[Christian Jacobsen]

JEdit will work as an editor for occam on linux, though I with the
default install I don't think it recognises .occ files as being occam,
so you might have to fix that in the preferences. The "occplug" plugin
and that stuff won't work at the moment, so you will have to build and
upload using the command line.

I use VIM. It has had occam syntax highlighting support since around
version 7 I think. You may have to enable syntax highlighting (by
typing ":syntax on"). If you're not used to vim of course, this might
not be your first choice of editor :)

Other than that I'm not too clued up on editors for Linux.

 Christian

ps. Matt: what does it mean for questions to be "valuable unto themselves"? :p

On 25 April 2010 13:44, Matt Jadud <jadudm at gmail.com> wrote:
> On Sun, Apr 25, 2010 at 1:15 AM, Aaron Ryan <amrphoto1 at gmail.com> wrote:
>> Concurrency Team,
>>
>> Is there an Editor that will help with writing PROG's in Occam-pi, for the
>> Linux platform?  I am familiar with the jEdit based transterpreter for OSX,
>> but was wondering about and x86 based Linux OS.
>
> Well, JEdit runs under Linux. However, we haven't ported/fixed the
> plugin for Linux. (It used to run there, and then Christian
> reorganized many things to make things better. Which it did. But we're
> not done fixing the betterness.)
>
> 'vi' knows about occam syntax, which is useful. To that end, gvim
> might work well -- which gives you the graphical aspects of most
> editors without having to wrestle with full Vim.
>
> Again, really - us finishing the build would fix a lot of these
> things. My personal goal is that we'll have all our ducks in a row for
> OSCON, which means my month of June will be focused primarily on
> concurrency.cc work.
>
> I think my students used an assortment of editors, mostly using GEdit
> or similar.
>
> Fire away with questions. They're very valuable unto themselves.
>
> Cheers,
> Matt
>
>>
>> Best,
>> Aaron M. Ryan
>>
>> _______________________________________________
>> users mailing list
>> users at concurrency.cc
>> http://unhosting.org/mailman/listinfo/users
>>
>>
>
> _______________________________________________
> users mailing list
> users at concurrency.cc
> http://unhosting.org/mailman/listinfo/users
>