You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
16 lines
436 B
16 lines
436 B
{ swig3, fetchFromGitHub }:
|
|
|
|
## for updating to swig4, see
|
|
## https://github.com/GeraldWodni/swig/pull/6
|
|
swig3.overrideDerivation (old: {
|
|
version = "3.0.9-forth";
|
|
src = fetchFromGitHub {
|
|
owner = "GeraldWodni";
|
|
repo = "swig";
|
|
rev = "a45b807e5f9d8ca1a43649c8265d2741a393862a";
|
|
sha256 = "sha256-6nOOPFGFNaQInEkul0ZAh+ks9n3wqCQ6/tbduvG/To0=";
|
|
};
|
|
configureFlags = old.configureFlags ++ [
|
|
"--enable-forth"
|
|
];
|
|
})
|
|
|