this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Continue rapport

+61 -3
+61 -3
slides/main.typ
··· 722 722 Pour des paquets reproductibles 723 723 ] 724 724 725 - #centered(text(size: 0.7em, [ 725 + #let code-highlights = (..hs) => codly(highlights: hs.pos().map(h => ( 726 + line: h.at(0), 727 + start: h.at(1).len() + 1, 728 + end: h.at(1).len() + 1 + h.at(2).len() 729 + ))) 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), 745 + ) 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 + ) 726 754 ```nix 727 755 { lib, stdenv, fetchFromGitHub, cmake, eigen }: 728 756 729 - stdenv.mkDerivation rec { 757 + stdenv.mkDerivation { 730 758 pname = "unitree-sdk2"; 731 - version = "2.0.0"; 759 + version = "0.1.0"; 732 760 733 761 src = fetchFromGitHub { 734 762 owner = "unitreerobotics"; ··· 743 771 } 744 772 ``` 745 773 ])) 774 + 775 + pagebreak() 776 + 777 + } 778 + 779 + #centered(text(size: 0.66em, [ 780 + #code-highlights( 781 + (1, "{ lib, stdenv, fetchFromGitlab, ", "cmake") 782 + ) 783 + ```nix 784 + { lib, stdenv, fetchFromGitLab, cmake }: 785 + 786 + stdenv.mkDerivation { 787 + pname = "eigen"; 788 + version = "3.4.0-unstable-2022-05-19"; 789 + 790 + src = fetchFromGitLab { 791 + owner = "libeigen"; 792 + repo = "eigen"; 793 + rev = "e7248b26a1ed53fa030c5c459f7ea095dfd276ac"; 794 + hash = "sha256-uQ1YYV3ojbMVfHdqjXRyUymRPjJZV3WHT36PTxPRius="; 795 + }; 796 + 797 + nativeBuildInputs = [ cmake ]; 798 + patches = [ ./include-dir.patch ]; 799 + postPatch = ''substituteInPlace Eigen/src/SVD/BDCSVD.h --replace-fail "if (l == 0) {" "if (i >= k && l == 0) {"''; 800 + meta = { ... }; 801 + } 802 + ``` 803 + ]))