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

Nix improvements #96

Merged
merged 6 commits into from
Aug 13, 2024
Merged

Nix improvements #96

merged 6 commits into from
Aug 13, 2024

Commits on Aug 12, 2024

  1. nix: dinamycally include rocksdb

    drammatically improve first compilation by avoiding to recompile
    rocksdb.
    It may also improve performance.
    RCasatta committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    343767d View commit details
    Browse the repository at this point in the history
  2. nix: set up direnv

    users with direnv+nix have the env setup just by entering the dir
    RCasatta committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    99d22ba View commit details
    Browse the repository at this point in the history
  3. nix: skip exec download

    in nix they don't work anyway why bother
    RCasatta committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    73497a2 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    025f453 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    92f0801 View commit details
    Browse the repository at this point in the history
  6. use exe_path instead of downloaded_exe_path

    exe_path continue to look at downloaded_exe_path unless a specific env
    var is specified
    RCasatta committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    98c2768 View commit details
    Browse the repository at this point in the history