Fabio Valentini
2 years ago
parent
ece7bfd77c
commit
a0b9a486df
@ -0,0 +1 @@
|
||||
/fiat-crypto-0.1.20-clean.crate
|
||||
@ -0,0 +1,24 @@
|
||||
From 600fac16c465a709b22717dfc0e5947c511641d1 Mon Sep 17 00:00:00 2001
|
||||
From: Fabio Valentini <decathorpe@gmail.com>
|
||||
Date: Wed, 7 Jun 2023 18:36:25 +0200
|
||||
Subject: [PATCH] remove references to code related to the p434 curve
|
||||
|
||||
---
|
||||
src/lib.rs | 1 -
|
||||
1 file changed, 1 deletion(-)
|
||||
|
||||
diff --git a/src/lib.rs b/src/lib.rs
|
||||
index d72509a..3fc2995 100644
|
||||
--- a/src/lib.rs
|
||||
+++ b/src/lib.rs
|
||||
@@ -15,7 +15,6 @@ pub mod p384_32;
|
||||
pub mod p384_64;
|
||||
pub mod p384_scalar_32;
|
||||
pub mod p384_scalar_64;
|
||||
-pub mod p434_64;
|
||||
pub mod p448_solinas_32;
|
||||
pub mod p448_solinas_64;
|
||||
pub mod p521_64;
|
||||
--
|
||||
2.40.1
|
||||
|
||||
@ -0,0 +1,11 @@
|
||||
--- fiat-crypto-0.1.20/Cargo.toml 1970-01-01T00:00:01+00:00
|
||||
+++ fiat-crypto-0.1.20/Cargo.toml 2023-06-07T16:32:24.435431+00:00
|
||||
@@ -14,7 +14,7 @@
|
||||
name = "fiat-crypto"
|
||||
version = "0.1.20"
|
||||
authors = ["Fiat Crypto library authors <jgross@mit.edu>"]
|
||||
-description = "Fiat-crypto generated Rust"
|
||||
+description = "Correct-by-Construction Code for Cryptographic Primitives"
|
||||
homepage = "https://github.com/mit-plv/fiat-crypto"
|
||||
readme = "README.md"
|
||||
license = "MIT OR Apache-2.0 OR BSD-1-Clause"
|
||||
@ -0,0 +1,43 @@
|
||||
#!/usr/bin/bash
|
||||
|
||||
set -e
|
||||
|
||||
CRATE="fiat-crypto"
|
||||
NAME="rust-${CRATE}"
|
||||
|
||||
VERSION=$(rpmspec -q $NAME.spec --srpm --qf "%{version}")
|
||||
URL="https://crates.io/api/v1/crates/${CRATE}/${VERSION}/download"
|
||||
|
||||
ROOTDIR="${CRATE}-${VERSION}"
|
||||
|
||||
# download and extract published crate from crates.io
|
||||
wget $URL -O ${ROOTDIR}.crate
|
||||
tar -xzf ${ROOTDIR}.crate
|
||||
rm ${ROOTDIR}.crate
|
||||
|
||||
pushd ${ROOTDIR}
|
||||
|
||||
# remove code related to the p434 curve which is not permitted in Fedora:
|
||||
# https://lists.fedoraproject.org/archives/list/legal@lists.fedoraproject.org/thread/FBZU2X7ZKTK2BVZKBHFUCI44SMY4UQCE/
|
||||
rm src/p434_64.rs
|
||||
|
||||
# clean up cargo files
|
||||
rm .cargo_vcs_info.json
|
||||
mv Cargo.toml.orig Cargo.toml
|
||||
|
||||
# initialize git repo and remove references to code related to the p434 curve
|
||||
git init
|
||||
git add .
|
||||
git apply ../0001-remove-references-to-code-related-to-the-p434-curve.patch
|
||||
git commit -a -m "import"
|
||||
|
||||
# repackage crate
|
||||
cargo package
|
||||
|
||||
# move clean crate
|
||||
mv target/package/${ROOTDIR}.crate ../${ROOTDIR}-clean.crate
|
||||
popd
|
||||
|
||||
# remove temporary directory
|
||||
rm -rf ${ROOTDIR}
|
||||
|
||||
@ -0,0 +1,92 @@
|
||||
# Generated by rust2rpm 24
|
||||
%bcond_without check
|
||||
%global debug_package %{nil}
|
||||
|
||||
%global crate fiat-crypto
|
||||
|
||||
Name: rust-fiat-crypto
|
||||
Version: 0.1.20
|
||||
Release: %autorelease
|
||||
Summary: Correct-by-Construction Code for Cryptographic Primitives
|
||||
|
||||
License: MIT OR Apache-2.0 OR BSD-1-Clause
|
||||
URL: https://crates.io/crates/fiat-crypto
|
||||
Source: %{crate}-%{version_no_tilde}-clean.crate
|
||||
# script to create tarball with only permissible content:
|
||||
# run "rust2rpm" and then "./gen_clean_tarball.sh" for new versions
|
||||
Source: gen_clean_tarball.sh
|
||||
Source: 0001-remove-references-to-code-related-to-the-p434-curve.patch
|
||||
# Manually created patch for downstream crate metadata changes
|
||||
# * change crate description to something more meaningful
|
||||
Patch: fiat-crypto-fix-metadata.diff
|
||||
|
||||
BuildRequires: rust-packaging >= 21
|
||||
|
||||
%global _description %{expand:
|
||||
Correct-by-Construction Code for Cryptographic Primitives.}
|
||||
|
||||
%description %{_description}
|
||||
|
||||
%package devel
|
||||
Summary: %{summary}
|
||||
BuildArch: noarch
|
||||
|
||||
%description devel %{_description}
|
||||
|
||||
This package contains library source intended for building other packages which
|
||||
use the "%{crate}" crate.
|
||||
|
||||
%files devel
|
||||
%license %{crate_instdir}/COPYRIGHT
|
||||
%license %{crate_instdir}/LICENSE-APACHE
|
||||
%license %{crate_instdir}/LICENSE-BSD-1
|
||||
%license %{crate_instdir}/LICENSE-MIT
|
||||
%doc %{crate_instdir}/AUTHORS
|
||||
%doc %{crate_instdir}/CONTRIBUTORS
|
||||
%doc %{crate_instdir}/README.md
|
||||
%{crate_instdir}/
|
||||
|
||||
%package -n %{name}+default-devel
|
||||
Summary: %{summary}
|
||||
BuildArch: noarch
|
||||
|
||||
%description -n %{name}+default-devel %{_description}
|
||||
|
||||
This package contains library source intended for building other packages which
|
||||
use the "default" feature of the "%{crate}" crate.
|
||||
|
||||
%files -n %{name}+default-devel
|
||||
%ghost %{crate_instdir}/Cargo.toml
|
||||
|
||||
%package -n %{name}+std-devel
|
||||
Summary: %{summary}
|
||||
BuildArch: noarch
|
||||
|
||||
%description -n %{name}+std-devel %{_description}
|
||||
|
||||
This package contains library source intended for building other packages which
|
||||
use the "std" feature of the "%{crate}" crate.
|
||||
|
||||
%files -n %{name}+std-devel
|
||||
%ghost %{crate_instdir}/Cargo.toml
|
||||
|
||||
%prep
|
||||
%autosetup -n %{crate}-%{version_no_tilde} -p1
|
||||
%cargo_prep
|
||||
|
||||
%generate_buildrequires
|
||||
%cargo_generate_buildrequires
|
||||
|
||||
%build
|
||||
%cargo_build
|
||||
|
||||
%install
|
||||
%cargo_install
|
||||
|
||||
%if %{with check}
|
||||
%check
|
||||
%cargo_test
|
||||
%endif
|
||||
|
||||
%changelog
|
||||
%autochangelog
|
||||
Loading…
Reference in new issue