You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
which has incorrect packageName (should be lean4-infoview). Using the package-lock.json, nix run nixpkgs#nodePackages.node2nix -- -18 -d -l generates the a Nix block with the correct packageName:
These two result in completely different node_modules, the first having the dependency bundled into node_modules/@leanprover/infoview whereas the second is bundled correctly to node_modules/lean4-infoview.
The text was updated successfully, but these errors were encountered:
xhalo32
changed the title
Generated source has incorrect name for URL dependency
Generated source has incorrect packageName for URL dependency
Jul 7, 2024
With the following dependency in
package.json
:running
nix run nixpkgs#nodePackages.node2nix -- -18 -d
generates the following source innode-packages.nix
:which has incorrect
packageName
(should belean4-infoview
). Using thepackage-lock.json
,nix run nixpkgs#nodePackages.node2nix -- -18 -d -l
generates the a Nix block with the correct packageName:These two result in completely different node_modules, the first having the dependency bundled into
node_modules/@leanprover/infoview
whereas the second is bundled correctly tonode_modules/lean4-infoview
.The text was updated successfully, but these errors were encountered: