rems-project / sail

Sail architecture definition language
Other
624 stars 116 forks source link

Add ELPA Metadata to Sail mode, and add to MELPA #30

Open thoughtpolice opened 5 years ago

thoughtpolice commented 5 years ago

The Sail mode would be very useful to have more widely available. MELPA is a very good way to do this; I use it for my own cryptol-mode.

However, this requires adding metadata: see #29 for that.

Once that's in place, I believe we can simply do add a MELPA recipe upstream, like:

(sail2-mode
  :fetcher github
  :repo "rems-project/sail"
  :files ("editors/*.el"))

And then anyone can use the Sail mode in recent Emacs by adding MELPA as an upstream (and this will normally happen by default with Spacemacs, DOOM Emacs, etc)

Alasdair commented 5 years ago

I merged #29. I changed the license text to be 2-clause BSD, which matches the rest of Sail. Unless it's the case that emacs modes technically count as derivative works of emacs... but I don't think that's the case.

thoughtpolice commented 5 years ago

No, that was just a copy paste mistake. Thanks!