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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Package pyml_bindgen.0.1.1 #19949

Merged

Conversation

mooreryan
Copy link
Contributor

pyml_bindgen.0.1.1

Generate pyml bindings from OCaml value specifications



馃惈 Pull-request generated by opam-publish v2.1.0

@mooreryan
Copy link
Contributor Author

I looked at the errors from opam 2.1 and it seemed to be from the resolver downgrading or dropping certain packages, so I made some changes to the deps.

  • Made specific deps for the ppxs rather than ppx_jane
  • Added a dep for python dev conf
  • Put a lower bound on cmdliner

@mooreryan
Copy link
Contributor Author

The opam-2.1, extras, x86_32 is failing. Looks to be sort of low level problem...any suggestions on how to proceed?

@mseri
Copy link
Member

mseri commented Nov 5, 2021

We can make it unavailable if it is not compatible. You can try to reproduce and work on it, if you want, following the steps at the top of the CI logs:

git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/19949/head" && git reset --hard e870dfb7
git fetch origin master
git merge c66dd4590bd215c9f95b36ed1c4047453a95dbaf
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-11-ocaml-4.13@sha256:a77fc80588f2b127fbc53ae04a4d5f1b80f50157597a9b5981b8107b5ff74ebc
SHELL [ "/usr/bin/linux32", "/bin/sh", "-c" ]
USER 1000:1000
RUN opam repository remove -a multicore || true
RUN sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam
RUN opam init --reinit -ni
ENV OPAMDOWNLOADJOBS 1
ENV OPAMERRLOGLEN 0
ENV OPAMSOLVERTIMEOUT 500
ENV OPAMPRECISETRACKING 1
WORKDIR /home/opam
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default "file://$HOME/opam-repository"
RUN opam pin add -k version -yn pyml_bindgen.0.1.1 0.1.1
RUN opam update --depexts
RUN opam remove pyml_bindgen.0.1.1 && opam install --deps-only pyml_bindgen.0.1.1 && opam install -v pyml_bindgen.0.1.1; \
    res=$?; \
    test "$res" != 31 && exit "$res"; \
    export OPAMCLI=2.0; \
    build_dir=$(opam var prefix)/.opam-switch/build; \
    failed=$(ls "$build_dir"); \
    for pkg in $failed; do \
    if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-11\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    done; \
    exit 1
RUN opam update --depexts
RUN opam remove pyml_bindgen.0.1.1 && opam install --deps-only --with-test pyml_bindgen.0.1.1 && opam install -v --with-test pyml_bindgen.0.1.1; \
    res=$?; \
    test "$res" != 31 && exit "$res"; \
    export OPAMCLI=2.0; \
    build_dir=$(opam var prefix)/.opam-switch/build; \
    failed=$(ls "$build_dir"); \
    for pkg in $failed; do \
    if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-11\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    done; \
    exit 1

END-OF-DOCKERFILE
docker build -f ../Dockerfile .

@mseri
Copy link
Member

mseri commented Nov 5, 2021

Let me just check if there is a CI issue, I am seeing similar failures on other packages as well

@mseri mseri added the question label Nov 5, 2021
@mooreryan
Copy link
Contributor Author

I'm not positive but I think it's running into a problem similar to this one: ocaml/ocaml#9800. Maybe it is best to mark it as unavailable on the 32 bit x86?

@mooreryan
Copy link
Contributor Author

Hey @mseri, just wanted to see if you had seen any issues in the CI, or if we should just mark the package as unavailable on the x86_32. Thanks!

@kit-ty-kate
Copy link
Member

Sorry for the delay. We couldn鈥檛 find the cause of this issue and we can ignore it for now. We鈥檒l ignore similar issues in the future. Sorry for that again.

Thanks!

@mooreryan
Copy link
Contributor Author

No worries, I appreciate the help!!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants