fixes
This commit is contained in:
parent
cdc3bc6bde
commit
8c3a45eda8
11 changed files with 50 additions and 10 deletions
|
@ -50,7 +50,7 @@ failure = "~0.1"
|
||||||
lazy_static = "~1.4"
|
lazy_static = "~1.4"
|
||||||
time = "0.3.1"
|
time = "0.3.1"
|
||||||
log = "~0.4"
|
log = "~0.4"
|
||||||
uuid = { version = "~1.0", features = ["v4", "serde"] }
|
uuid = { version = "~1", features = ["v4", "serde"] }
|
||||||
|
|
||||||
[dependencies.rusqlite]
|
[dependencies.rusqlite]
|
||||||
version = "~0.26"
|
version = "~0.26"
|
||||||
|
|
1
Makefile
1
Makefile
|
@ -1,3 +1,4 @@
|
||||||
|
.PHONY: outdated fix
|
||||||
|
|
||||||
outdated:
|
outdated:
|
||||||
for p in $(dirname $(ls Cargo.toml */Cargo.toml */*/Cargo.toml)); do echo $p; (cd $p; cargo outdated -R); done
|
for p in $(dirname $(ls Cargo.toml */Cargo.toml */*/Cargo.toml)); do echo $p; (cd $p; cargo outdated -R); done
|
||||||
|
|
|
@ -13,7 +13,7 @@ enum-set = "~0.0.8"
|
||||||
lazy_static = "~1.4"
|
lazy_static = "~1.4"
|
||||||
indexmap = "~1.7"
|
indexmap = "~1.7"
|
||||||
ordered-float = { version = "~2.8", features = ["serde"] }
|
ordered-float = { version = "~2.8", features = ["serde"] }
|
||||||
uuid = { version = "~1.0", features = ["v4", "serde"] }
|
uuid = { version = "~1", features = ["v4", "serde"] }
|
||||||
serde = { version = "~1.0", features = ["rc"] }
|
serde = { version = "~1.0", features = ["rc"] }
|
||||||
serde_derive = "~1.0"
|
serde_derive = "~1.0"
|
||||||
bytes = { version = "1.0.1", features = ["serde"] }
|
bytes = { version = "1.0.1", features = ["serde"] }
|
||||||
|
|
|
@ -9,7 +9,7 @@ enum-set = "~0.0"
|
||||||
failure = "~0.1"
|
failure = "~0.1"
|
||||||
indexmap = "~1.7"
|
indexmap = "~1.7"
|
||||||
ordered-float = { version = "~2.8", features = ["serde"] }
|
ordered-float = { version = "~2.8", features = ["serde"] }
|
||||||
uuid = { version = "~1.0", features = ["v4", "serde"] }
|
uuid = { version = "~1", features = ["v4", "serde"] }
|
||||||
|
|
||||||
[dependencies.core_traits]
|
[dependencies.core_traits]
|
||||||
path = "../core-traits"
|
path = "../core-traits"
|
||||||
|
|
|
@ -15,7 +15,7 @@ itertools = "~0.10"
|
||||||
num = "~0.4"
|
num = "~0.4"
|
||||||
ordered-float = "~2.8"
|
ordered-float = "~2.8"
|
||||||
pretty = "~0.10"
|
pretty = "~0.10"
|
||||||
uuid = { version = "~1.0", features = ["v4", "serde"] }
|
uuid = { version = "~1", features = ["v4", "serde"] }
|
||||||
serde = { version = "~1.0", optional = true }
|
serde = { version = "~1.0", optional = true }
|
||||||
serde_derive = { version = "~1.0", optional = true }
|
serde_derive = { version = "~1.0", optional = true }
|
||||||
peg = "~0.7"
|
peg = "~0.7"
|
||||||
|
|
|
@ -1123,14 +1123,14 @@ impl OrJoin {
|
||||||
(self.clauses, self.unify_vars, vars)
|
(self.clauses, self.unify_vars, vars)
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn mentioned_variables(mut self) -> BTreeSet<Variable> {
|
pub fn mentioned_variables<'a>(&'a mut self) -> &'a BTreeSet<Variable> {
|
||||||
if self.mentioned_vars.is_none() {
|
if self.mentioned_vars.is_none() {
|
||||||
let m = self.collect_mentioned_variables();
|
let m = self.collect_mentioned_variables();
|
||||||
self.mentioned_vars = Some(m);
|
self.mentioned_vars = Some(m);
|
||||||
}
|
}
|
||||||
|
|
||||||
if let Some(ref mentioned) = self.mentioned_vars {
|
if let Some(ref mentioned) = self.mentioned_vars {
|
||||||
mentioned.clone()
|
mentioned
|
||||||
} else {
|
} else {
|
||||||
unreachable!()
|
unreachable!()
|
||||||
}
|
}
|
||||||
|
|
1
rust-toolchain
Normal file
1
rust-toolchain
Normal file
|
@ -0,0 +1 @@
|
||||||
|
nightly-2023-11-27
|
38
shell.nix
Normal file
38
shell.nix
Normal file
|
@ -0,0 +1,38 @@
|
||||||
|
{ pkgs ? import <nixpkgs> {} }:
|
||||||
|
pkgs.mkShell rec {
|
||||||
|
buildInputs = with pkgs; [
|
||||||
|
# Necessary for the openssl-sys crate:
|
||||||
|
pkgs.openssl
|
||||||
|
pkgs.pkg-config
|
||||||
|
# Compiler
|
||||||
|
clang
|
||||||
|
# Replace llvmPackages with llvmPackages_X, where X is the latest LLVM version (at the time of writing, 16)
|
||||||
|
llvmPackages.bintools
|
||||||
|
rustup
|
||||||
|
];
|
||||||
|
RUSTC_VERSION = pkgs.lib.readFile ./rust-toolchain;
|
||||||
|
# https://github.com/rust-lang/rust-bindgen#environment-variables
|
||||||
|
LIBCLANG_PATH = pkgs.lib.makeLibraryPath [ pkgs.llvmPackages_latest.libclang.lib ];
|
||||||
|
shellHook = ''
|
||||||
|
export PATH=$PATH:''${CARGO_HOME:-~/.cargo}/bin
|
||||||
|
export PATH=$PATH:''${RUSTUP_HOME:-~/.rustup}/toolchains/$RUSTC_VERSION-x86_64-unknown-linux-gnu/bin/
|
||||||
|
'';
|
||||||
|
# Add precompiled library to rustc search path
|
||||||
|
RUSTFLAGS = (builtins.map (a: ''-L ${a}/lib'') [
|
||||||
|
# add libraries here (e.g. pkgs.libvmi)
|
||||||
|
]);
|
||||||
|
# Add glibc, clang, glib and other headers to bindgen search path
|
||||||
|
BINDGEN_EXTRA_CLANG_ARGS =
|
||||||
|
# Includes with normal include path
|
||||||
|
(builtins.map (a: ''-I"${a}/include"'') [
|
||||||
|
# add dev libraries here (e.g. pkgs.libvmi.dev)
|
||||||
|
pkgs.glibc.dev
|
||||||
|
])
|
||||||
|
# Includes with special directory paths
|
||||||
|
++ [
|
||||||
|
''-I"${pkgs.llvmPackages_latest.libclang.lib}/lib/clang/${pkgs.llvmPackages_latest.libclang.version}/include"''
|
||||||
|
''-I"${pkgs.glib.dev}/include/glib-2.0"''
|
||||||
|
''-I${pkgs.glib.out}/lib/glib-2.0/include/''
|
||||||
|
];
|
||||||
|
|
||||||
|
}
|
|
@ -254,7 +254,7 @@ fn test_unbound_inputs() {
|
||||||
fn test_instants_and_uuids() {
|
fn test_instants_and_uuids() {
|
||||||
// We assume, perhaps foolishly, that the clocks on test machines won't lose more than an
|
// We assume, perhaps foolishly, that the clocks on test machines won't lose more than an
|
||||||
// hour while this test is running.
|
// hour while this test is running.
|
||||||
let start = Utc::now() + FixedOffset::west(60 * 60);
|
let start = Utc::now() + FixedOffset::west_opt(60 * 60).unwrap();
|
||||||
|
|
||||||
let mut c = new_connection("").expect("Couldn't open conn.");
|
let mut c = new_connection("").expect("Couldn't open conn.");
|
||||||
let mut conn = Conn::connect(&mut c).expect("Couldn't open DB.");
|
let mut conn = Conn::connect(&mut c).expect("Couldn't open DB.");
|
||||||
|
|
|
@ -16,7 +16,7 @@ failure_derive = "~0.1"
|
||||||
http = "~0.2"
|
http = "~0.2"
|
||||||
hyper = "~0.14"
|
hyper = "~0.14"
|
||||||
serde_json = "~1.0"
|
serde_json = "~1.0"
|
||||||
uuid = { version = "~1.0" }
|
uuid = { version = "~1" }
|
||||||
|
|
||||||
[dependencies.rusqlite]
|
[dependencies.rusqlite]
|
||||||
version = "~0.26"
|
version = "~0.26"
|
||||||
|
|
|
@ -1,5 +1,5 @@
|
||||||
[package]
|
[package]
|
||||||
edition = "2018"
|
edition = "2021"
|
||||||
name = "mentat_tolstoy"
|
name = "mentat_tolstoy"
|
||||||
version = "0.0.2"
|
version = "0.0.2"
|
||||||
workspace = ".."
|
workspace = ".."
|
||||||
|
@ -22,7 +22,7 @@ serde_json = "~1.0"
|
||||||
serde_cbor = "~0.11"
|
serde_cbor = "~0.11"
|
||||||
serde_derive = "~1.0"
|
serde_derive = "~1.0"
|
||||||
lazy_static = "~1.4"
|
lazy_static = "~1.4"
|
||||||
uuid = { version = "~1.0", features = ["v4", "serde"] }
|
uuid = { version = "~1", features = ["v4", "serde"] }
|
||||||
|
|
||||||
[dependencies.rusqlite]
|
[dependencies.rusqlite]
|
||||||
version = "~0.26"
|
version = "~0.26"
|
||||||
|
|
Loading…
Reference in a new issue