Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Support cargo-simple-bundler #82

Closed
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
57 changes: 57 additions & 0 deletions .github/run-cargo-simple-bundler.py
Original file line number Diff line number Diff line change
@@ -0,0 +1,57 @@
#!/usr/bin/python3

from tempfile import TemporaryDirectory
from pathlib import Path
import subprocess
from subprocess import PIPE
from argparse import ArgumentParser
import platform

MODULES = [
'convolution',
'dsu',
'fenwicktree',
'lazysegtree',
'math',
'maxflow',
'mincostflow',
'modint',
'scc',
'segtree',
'string',
'twosat',
]


def main() -> None:
ArgumentParser().parse_args()

manifest_path = Path(__file__).absolute().parent.parent \
.joinpath('Cargo.toml')

with TemporaryDirectory(prefix='ac-library-rs-run-cargo-simple-bundler-',
) as tempdir:
tempdir = Path(tempdir)

for module in MODULES:
rs = tempdir.joinpath(f'with-{module}.rs')

with open(rs, 'a') as file:
file.write(f'use ac_library_rs::{module} as _; fn main() {{}}')
file.flush()

output = subprocess.run(
['cargo', 'simple-bundler', '--manifest-path',
manifest_path, '-e', rs], check=True, stdout=PIPE,
).stdout.decode()
file.write(output)

output = tempdir.joinpath('a')
if platform.system() == 'Windows':
output = output.with_suffix('.exe')
subprocess.run(['rustc', '--edition', '2018', '-o', output, rs],
check=True)


if __name__ == '__main__':
main()
44 changes: 41 additions & 3 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -96,18 +96,17 @@ jobs:
env:
RUST_BACKTRACE: full

expander_test:
expand-py:
strategy:
fail-fast: false
matrix:
toolchain:
- 1.42.0-x86_64-unknown-linux-gnu
- stable-x86_64-unknown-linux-gnu
python-version:
- '3.6' # https://packages.ubuntu.com/bionic/python3
- '3.8' # https://packages.ubuntu.com/focal/python3

name: Expand_test (${{ matrix.toolchain }}, ${{ matrix.python-version }})
name: expand.py (Python ${{ matrix.python-version }})
runs-on: ubuntu-18.04

steps:
Expand All @@ -129,3 +128,42 @@ jobs:

- name: expand.py tests
run: bash ./.github/workflows/test-expand.sh

cargo-simple-bundler:
strategy:
fail-fast: false

name: cargo-simple-bundler
runs-on: ubuntu-18.04

steps:
- name: Checkout
uses: actions/checkout@v2

- name: 'Setup `1.42.0-x86_64-unknown-linux-gnu`'
uses: actions-rs/toolchain@v1
with:
toolchain: 1.42.0-x86_64-unknown-linux-gnu
profile: minimal

- name: 'Setup `stable-x86_64-unknown-linux-gnu`'
uses: actions-rs/toolchain@v1
with:
toolchain: stable-x86_64-unknown-linux-gnu
override: true
profile: minimal

- name: Setup Python 3.8
uses: actions/setup-python@v2
with:
python-version: 3.8

- name: Install cargo-simple-bundler
uses: actions-rs/cargo@v1
with:
command: install
args: --git https://github.com/kuretchi/cargo-simple-bundler --branch main
toolchain: stable

- name: run-cargo-simple-bundler.py
run: python ./.github/run-cargo-simple-bundler.py
13 changes: 5 additions & 8 deletions src/convolution.rs
Original file line number Diff line number Diff line change
Expand Up @@ -8,9 +8,9 @@ macro_rules! modulus {
const VALUE: u32 = $name as _;
const HINT_VALUE_IS_PRIME: bool = true;

fn butterfly_cache() -> &'static ::std::thread::LocalKey<::std::cell::RefCell<::std::option::Option<crate::modint::ButterflyCache<Self>>>> {
fn butterfly_cache() -> &'static ::std::thread::LocalKey<::std::cell::RefCell<::std::option::Option<self::modint::ButterflyCache<Self>>>> {
thread_local! {
static BUTTERFLY_CACHE: ::std::cell::RefCell<::std::option::Option<crate::modint::ButterflyCache<$name>>> = ::std::default::Default::default();
static BUTTERFLY_CACHE: ::std::cell::RefCell<::std::option::Option<self::modint::ButterflyCache<$name>>> = ::std::default::Default::default();
}
&BUTTERFLY_CACHE
}
Expand All @@ -19,9 +19,9 @@ macro_rules! modulus {
};
}

use crate::{
use super::{
internal_bit, internal_math,
modint::{ButterflyCache, Modulus, RemEuclidU32, StaticModInt},
modint::{self, ButterflyCache, Modulus, RemEuclidU32, StaticModInt},
};
use std::{
cmp,
Expand Down Expand Up @@ -232,10 +232,7 @@ fn prepare<M: Modulus>() -> ButterflyCache<M> {

#[cfg(test)]
mod tests {
use crate::{
modint::{Mod998244353, Modulus, StaticModInt},
RemEuclidU32,
};
use super::super::modint::{self, Mod998244353, Modulus, RemEuclidU32, StaticModInt};
use rand::{rngs::ThreadRng, Rng as _};
use std::{
convert::{TryFrom, TryInto as _},
Expand Down
2 changes: 1 addition & 1 deletion src/internal_math.rs
Original file line number Diff line number Diff line change
Expand Up @@ -239,7 +239,7 @@ pub(crate) fn primitive_root(m: i32) -> i32 {
mod tests {
#![allow(clippy::unreadable_literal)]
#![allow(clippy::cognitive_complexity)]
use crate::internal_math::{inv_gcd, is_prime, pow_mod, primitive_root, safe_mod, Barrett};
use super::{inv_gcd, is_prime, pow_mod, primitive_root, safe_mod, Barrett};
use std::collections::HashSet;

#[test]
Expand Down
2 changes: 1 addition & 1 deletion src/internal_queue.rs
Original file line number Diff line number Diff line change
Expand Up @@ -51,7 +51,7 @@ impl<T> SimpleQueue<T> {

#[cfg(test)]
mod test {
use crate::internal_queue::SimpleQueue;
use super::SimpleQueue;

#[allow(clippy::cognitive_complexity)]
#[test]
Expand Down
7 changes: 4 additions & 3 deletions src/lazysegtree.rs
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
use crate::internal_bit::ceil_pow2;
use crate::Monoid;
use super::internal_bit::ceil_pow2;
use super::segtree::Monoid;

pub trait MapMonoid {
type M: Monoid;
Expand Down Expand Up @@ -314,7 +314,8 @@ where

#[cfg(test)]
mod tests {
use crate::{LazySegtree, MapMonoid, Max};
use super::super::segtree::Max;
use super::{LazySegtree, MapMonoid};

struct MaxAdd;
impl MapMonoid for MaxAdd {
Expand Down
2 changes: 1 addition & 1 deletion src/math.rs
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
//! Number-theoretic algorithms.

use crate::internal_math;
use super::internal_math;

use std::mem::swap;

Expand Down
6 changes: 3 additions & 3 deletions src/maxflow.rs
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
#![allow(dead_code)]
use crate::internal_queue::SimpleQueue;
use crate::internal_type_traits::Integral;
use super::internal_queue::SimpleQueue;
use super::internal_type_traits::Integral;
use std::cmp::min;
use std::iter;

Expand Down Expand Up @@ -224,7 +224,7 @@ struct _Edge<Cap> {

#[cfg(test)]
mod test {
use crate::{Edge, MfGraph};
use super::{Edge, MfGraph};

#[test]
fn test_max_flow_wikipedia() {
Expand Down
2 changes: 1 addition & 1 deletion src/mincostflow.rs
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
use crate::internal_type_traits::Integral;
use super::internal_type_traits::Integral;

pub struct MinCostFlowEdge<T> {
pub from: usize,
Expand Down
4 changes: 2 additions & 2 deletions src/modint.rs
Original file line number Diff line number Diff line change
Expand Up @@ -48,7 +48,7 @@
//! [`ModInt998244353`]: ./type.ModInt998244353.html
//! [`ModInt`]: ./type.ModInt.html

use crate::internal_math;
use super::internal_math;
use std::{
cell::RefCell,
convert::{Infallible, TryInto as _},
Expand Down Expand Up @@ -1050,7 +1050,7 @@ impl_folding! {

#[cfg(test)]
mod tests {
use crate::modint::ModInt1000000007;
use super::ModInt1000000007;

#[test]
fn static_modint_new() {
Expand Down
2 changes: 1 addition & 1 deletion src/scc.rs
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
use crate::internal_scc;
use super::internal_scc;

pub struct SccGraph {
internal: internal_scc::SccGraph,
Expand Down
8 changes: 4 additions & 4 deletions src/segtree.rs
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
use crate::internal_bit::ceil_pow2;
use crate::internal_type_traits::{BoundedAbove, BoundedBelow, One, Zero};
use super::internal_bit::ceil_pow2;
use super::internal_type_traits::{BoundedAbove, BoundedBelow, One, Zero};
use std::cmp::{max, min};
use std::convert::Infallible;
use std::marker::PhantomData;
Expand Down Expand Up @@ -238,8 +238,8 @@ where

#[cfg(test)]
mod tests {
use crate::segtree::Max;
use crate::Segtree;
use super::super::Segtree;
use super::Max;

#[test]
fn test_max_segtree() {
Expand Down
2 changes: 1 addition & 1 deletion src/twosat.rs
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
use crate::internal_scc;
use super::internal_scc;

pub struct TwoSat {
n: usize,
Expand Down