blob: 8de29407cc46d4dde6d83eecbc295c2de2ccc198 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{ 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"
];
})
|