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: Fix larlpop dependency #505

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Conversation

jtojnar
Copy link

@jtojnar jtojnar commented Apr 21, 2023

The branch we were pulling larlpop from has been rebased and the commit disappeared causing the build to fail:

error: failed to get `lalrpop` as a dependency of package `fathom v0.1.0 (/home/jtojnar/Projects/fathom/fathom)`

Caused by:
  failed to load source for dependency `lalrpop`

Caused by:
  Unable to update https://github.com/kmeakin/lalrpop?branch=raw-identifiers#a945c2a6

Caused by:
  object not found - no match for id (a945c2a68032f833142bdf6874cf280270c0ec8a); class=Odb (9); code=NotFound (-3)

Fortunately, the branch has been merged and is available in 0.19.9 release.

The branch we were pulling larlpop from has been rebased and the commit disappeared causing the build to fail:

	error: failed to get `lalrpop` as a dependency of package `fathom v0.1.0 (/home/jtojnar/Projects/fathom/fathom)`

	Caused by:
	  failed to load source for dependency `lalrpop`

	Caused by:
	  Unable to update https://github.com/kmeakin/lalrpop?branch=raw-identifiers#a945c2a6

	Caused by:
	  object not found - no match for id (a945c2a68032f833142bdf6874cf280270c0ec8a); class=Odb (9); code=NotFound (-3)

Fortunately, the branch has been merged and is available in 0.19.9 release.
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.

1 participant