blob: 1478da2d7675a879462a1a066673c27c409aa73e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
|
{ lib, fetchFromGitHub, ocamlPackages
, ipaexfont, junicode, lmodern, lmmath
}:
let
camlpdf = ocamlPackages.camlpdf.overrideAttrs {
src = fetchFromGitHub {
owner = "gfngfn";
repo = "camlpdf";
rev = "v2.3.1+satysfi";
sha256 = "1s8wcqdkl1alvfcj67lhn3qdz8ikvd1v64f4q6bi4c0qj9lmp30k";
};
};
yojson-with-position = ocamlPackages.buildDunePackage {
pname = "yojson-with-position";
version = "1.4.2";
src = fetchFromGitHub {
owner = "gfngfn";
repo = "yojson-with-position";
rev = "v1.4.2+satysfi";
sha256 = "17s5xrnpim54d1apy972b5l08bph4c0m5kzbndk600fl0vnlirnl";
};
nativeBuildInputs = [ ocamlPackages.cppo ];
propagatedBuildInputs = [ ocamlPackages.biniou ];
inherit (ocamlPackages.yojson) meta;
};
in
ocamlPackages.buildDunePackage rec {
pname = "satysfi";
version = "0.0.10";
src = fetchFromGitHub {
owner = "gfngfn";
repo = "SATySFi";
rev = "v${version}";
hash = "sha256-qgVM7ExsKtzNQkZO+I+rcWLj4LSvKL5uyitH7Jg+ns0=";
fetchSubmodules = true;
};
preConfigure = ''
substituteInPlace src/frontend/main.ml --replace \
'/usr/local/share/satysfi"; "/usr/share/satysfi' \
$out/share/satysfi
'';
nativeBuildInputs = with ocamlPackages; [ menhir cppo ];
buildInputs = [ camlpdf yojson-with-position ] ++ (with ocamlPackages; [
menhirLib
batteries camlimages core_kernel ppx_deriving uutf omd re
otfed
]);
postInstall = ''
mkdir -p $out/share/satysfi/dist/fonts
cp -r lib-satysfi/dist/ $out/share/satysfi/
cp -r \
${ipaexfont}/share/fonts/opentype/* \
${lmodern}/share/fonts/opentype/public/lm/* \
${lmmath}/share/fonts/opentype/latinmodern-math.otf \
${junicode}/share/fonts/truetype/Junicode-{Bold,BoldItalic,Italic}.ttf \
$out/share/satysfi/dist/fonts/
cp ${junicode}/share/fonts/truetype/Junicode-Regular.ttf \
$out/share/satysfi/dist/fonts/Junicode.ttf
'';
meta = with lib; {
homepage = "https://github.com/gfngfn/SATySFi";
description = "A statically-typed, functional typesetting system";
changelog = "https://github.com/gfngfn/SATySFi/blob/v${version}/CHANGELOG.md";
license = licenses.lgpl3Only;
maintainers = [ maintainers.mt-caret maintainers.marsam ];
platforms = platforms.all;
mainProgram = "satysfi";
};
}
|