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

Build using nix #232

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Build using nix #232

wants to merge 2 commits into from

Conversation

WeetHet
Copy link

@WeetHet WeetHet commented Nov 28, 2024

Adds flake.nix and a Dockerfile using it to either build locally using nix or using docker, which essentially downloads nixos and runs the same build process. The download size is much smaller than the full texlive as only needed packages are downloaded. They are defined in nix/texlive.nix and should be enough to install even outside of nix environment.

This also adds a devshell that you can enter using nix develop to get an environment with texlive with needed packages

@WeetHet WeetHet force-pushed the nix-builds branch 2 times, most recently from 46304e2 to 294182d Compare November 28, 2024 20:12
nix/texlive.nix Outdated Show resolved Hide resolved
vobolgus
vobolgus previously approved these changes Nov 28, 2024
Copy link
Collaborator

@vobolgus vobolgus left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Всё окей, и в плане сборки и в плане логики внутри кода

Adds flake.nix and a Dockerfile using it
to either build locally using [nix](https://nixos.org)
or using docker, which essentially downloads
nixos and runs the same build process. The download
size is much smaller than the full texlive as
only needed packages are downloaded. They are defined
in nix/texlive.nix and should be enough to install
even outside of nix environment.

This also adds a devshell that you can enter using
`nix develop` to get an environment with texlive with
needed packages
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants