Change circuits output location (#18)

This commit is contained in:
Daniel Sanchez 2026-02-26 13:14:03 +00:00 committed by GitHub
parent 1320bd760f
commit 6379fceb6d
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -81,7 +81,8 @@
];
postInstall = ''
cp -r ${logosBlockchainC}/circuits $out/lib/
mkdir $out/share
cp -r ${logosBlockchainC}/circuits $out/share
'';
};
in