c47a3b0663
* Don't "externalize url/rev/sha256 to permit easier override". Just override 'src' itself. Then you can get the source from anywhere, not just git. I needed to touch this anyway, because I want to use fetchzip instead of fetchgit for releases (no need to clone repo). * Latest release has "make install" improvements, simplifying our install. |
||
---|---|---|
.. | ||
arduino | ||
compilers | ||
coq-modules | ||
eclipse | ||
go-modules/generic | ||
guile-modules | ||
haskell-modules | ||
interpreters | ||
libraries | ||
lisp-modules | ||
lua-modules | ||
misc | ||
mobile | ||
ocaml-modules | ||
perl-modules | ||
pharo | ||
pure-modules/pure-gsl | ||
python-modules | ||
qtcreator | ||
r-modules | ||
ruby-modules | ||
tools | ||
web |