this repo has no description
Continue rapport
+133
-45
+133
-45
slides/main.typ
+133
-45
slides/main.typ
···
722
722
Pour des paquets reproductibles
723
723
]
724
724
725
-
#let code-highlights = (..hs) => codly(highlights: hs.pos().map(h => (
725
+
#let codehighlights = (..hs) => codly(highlights: hs.pos().map(h => (
726
726
line: h.at(0),
727
727
start: h.at(1).len() + 1,
728
-
end: h.at(1).len() + 1 + h.at(2).len()
728
+
end: h.at(1).len() + h.at(2).len()
729
729
)))
730
730
731
-
#for i in range(4) {
732
-
733
-
// SIX SEVEN!!!!!
734
-
centered(text(size: 0.67em, [
735
-
#code-highlights(
736
-
..if i == 1 {
737
-
(
738
-
(1, start: 3, end: 3 + "lib, stdenv, fetchFromGithub".len() - 1),
739
-
(3, start: 0, end: "stdenv.mkDerivation".len()),
740
-
(7, start: " src = ".len() + 1, end: " src = fetchFromGithub".len()),
741
-
)
742
-
} else if i == 2 {
743
-
(
744
-
(11, start: " hash = \"".len() + 3, end: " hash = \"".len() + 53),
731
+
#{
732
+
for i in range(4) {
733
+
// SIX SEVEN!!!!!
734
+
centered(text(size: 0.67em, [
735
+
#codehighlights(
736
+
..(if i == 1 {
737
+
(
738
+
(1, "{ ", "lib, stdenv, fetchFromGithub"),
739
+
(3, "", "stdenv.mkDerivation"),
740
+
(7, " src = ", "fetchFromGithub"),
741
+
)
742
+
} else if i == 2 {
743
+
(
744
+
(11, " hash = \"", "sha256-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"),
745
+
)
746
+
} else if i == 3 {
747
+
(
748
+
(1, "{ lib, stdenv, fetchFromGithub, ", "cmake, eigen"),
749
+
(14, " nativeBuildInputs = [ ", "cmake"),
750
+
(15, " buildInputs = [ ", "eigen")
751
+
)
752
+
} else {
753
+
()
754
+
}),
745
755
)
746
-
} else if i == 3 {
747
-
(
748
-
(1, start: "{ lib, stdenv, fetchFromGithub, ".len() + 1, end: "{ lib, stdenv, fetchFromGithub, cmake, eigen".len()),
749
-
(14, start: " nativeBuildInputs = [ ".len() + 1, end: " nativeBuildInputs = [ cmake".len()),
750
-
(15, start: " buildInputs = [ ".len() + 1, end: " buildInputs = [ eigen".len())
751
-
)
752
-
},
753
-
)
754
-
```nix
755
-
{ lib, stdenv, fetchFromGitHub, cmake, eigen }:
756
+
```nix
757
+
{ lib, stdenv, fetchFromGitHub, cmake, eigen }:
756
758
757
-
stdenv.mkDerivation {
758
-
pname = "unitree-sdk2";
759
-
version = "0.1.0";
759
+
stdenv.mkDerivation {
760
+
pname = "unitree-sdk2";
761
+
version = "0.1.0";
760
762
761
-
src = fetchFromGitHub {
762
-
owner = "unitreerobotics";
763
-
repo = "unitree_sdk2";
764
-
rev = version;
765
-
hash = "sha256-r05zwhZW36+VOrIuTCr2HLf2R23csmnj33JFzUqz62Q=";
766
-
};
763
+
src = fetchFromGitHub {
764
+
owner = "unitreerobotics";
765
+
repo = "unitree_sdk2";
766
+
rev = version;
767
+
hash = "sha256-r05zwhZW36+VOrIuTCr2HLf2R23csmnj33JFzUqz62Q=";
768
+
};
767
769
768
-
nativeBuildInputs = [ cmake ];
769
-
buildInputs = [ eigen ];
770
-
meta = { ... };
771
-
}
772
-
```
773
-
]))
770
+
nativeBuildInputs = [ cmake ];
771
+
buildInputs = [ eigen ];
772
+
meta = { ... };
773
+
}
774
+
```
775
+
]))
774
776
775
-
pagebreak()
777
+
pagebreak()
776
778
779
+
}
777
780
}
778
781
779
-
#centered(text(size: 0.66em, [
780
-
#code-highlights(
781
-
(1, "{ lib, stdenv, fetchFromGitlab, ", "cmake")
782
+
#centered(text(size: 0.64em, [
783
+
#codehighlights(
784
+
(1, "{ lib, stdenv, fetchFromGitlab, ", "cmake"),
785
+
// (11, " hash = \"", "sha256-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"),
786
+
// (14, " nativeBuildInputs = [ ", "cmake")
782
787
)
783
788
```nix
784
789
{ lib, stdenv, fetchFromGitLab, cmake }:
···
801
806
}
802
807
```
803
808
]))
809
+
810
+
#pagebreak()
811
+
812
+
#centered(text(size: 0.48em, grid(columns: 2,
813
+
[
814
+
#codehighlights(
815
+
(7, " ", "bzip2"),
816
+
(8, " ", "curlMinimal"),
817
+
(9, " ", "expat"),
818
+
(10, " ", "libarchive"),
819
+
(11, " ", "libuv"),
820
+
(12, " ", "ncurses"),
821
+
(13, " ", "openssl"),
822
+
(14, " ", "pkg-config"),
823
+
(15, " ", "ps"),
824
+
(16, " ", "sysctl"),
825
+
(17, " ", "rhash"),
826
+
(18, " ", "sphinx"),
827
+
(19, " ", "texinfo"),
828
+
(20, " ", "xz"),
829
+
)
830
+
```nix
831
+
{
832
+
lib,
833
+
stdenv,
834
+
fetchurl,
835
+
replaceVars,
836
+
buildPackages,
837
+
bzip2,
838
+
curlMinimal,
839
+
expat,
840
+
libarchive,
841
+
libuv,
842
+
ncurses,
843
+
openssl,
844
+
pkg-config,
845
+
ps,
846
+
sysctl,
847
+
rhash,
848
+
sphinx,
849
+
texinfo,
850
+
xz,
851
+
```],
852
+
[
853
+
#codehighlights(
854
+
(1, " ", "zlib"),
855
+
(2, " ", "darwin"),
856
+
(3, " ", "isBootstrap"),
857
+
(4, " ", "isMinimalBuild"),
858
+
(10, " ", "useOpenSSL"),
859
+
(11, " ", "useSharedLibraries"),
860
+
(12, " ", "uiToolkits"),
861
+
(13, " ", "buildDocs"),
862
+
(14, " ", "libsForQt5"),
863
+
(15, " ", "gitUpdater"),
864
+
)
865
+
```nix
866
+
zlib,
867
+
darwin,
868
+
isBootstrap ? null,
869
+
isMinimalBuild ? (
870
+
if isBootstrap != null then
871
+
lib.warn "isBootstrap argument is deprecated and will be removed; use isMinimalBuild instead" isBootstrap
872
+
else
873
+
false
874
+
),
875
+
useOpenSSL ? !isMinimalBuild,
876
+
useSharedLibraries ? (!isMinimalBuild && !stdenv.hostPlatform.isCygwin),
877
+
uiToolkits ? [ ], # can contain "ncurses" and/or "qt5"
878
+
buildDocs ? !(isMinimalBuild || (uiToolkits == [ ])),
879
+
libsForQt5,
880
+
gitUpdater,
881
+
}:
882
+
```]
883
+
)))
884
+
885
+
#pagebreak()
886
+
887
+
888
+
#import "@preview/diagraph:0.3.6"
889
+
#centered(
890
+
scale(7%, reflow: true, diagraph.render(read("../rapport/isaac-deptree.dot").replace("rankdir TB", "rankdir LR")))
891
+
)