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

fatal error: 'symmetry/struct_symmetry.h' file not found #12

Closed
mkoeppe opened this issue Feb 28, 2024 · 4 comments
Closed

fatal error: 'symmetry/struct_symmetry.h' file not found #12

mkoeppe opened this issue Feb 28, 2024 · 4 comments

Comments

@mkoeppe
Copy link
Contributor

mkoeppe commented Feb 28, 2024

I'm getting this with SCIP 9.0.0 (sagemath/sage#37494)

[scip_sdp-4.3.0] /Users/mkoeppe/s/sage/sage-rebasing/worktree-pristine/local/var/tmp/sage/build/scip_sdp-4.3.0/src/src/scipsdp/cons_sdp.c:78:10: fatal error: 'symmetry/struct_symmetry.h' file not found
[scip_sdp-4.3.0] #include "symmetry/struct_symmetry.h"
[scip_sdp-4.3.0]          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~
[scip_sdp-4.3.0] /Users/mkoeppe/s/sage/sage-rebasing/worktree-pristine/local/var/tmp/sage/build/scip_sdp-4.3.0/src/src/scipsdp/cons_sdp.c:78:10: fatal error: 'symmetry/struct_symmetry.h' file not found
[scip_sdp-4.3.0] #include "symmetry/struct_symmetry.h"
[scip_sdp-4.3.0]          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~
[scip_sdp-4.3.0] [ 29%] Building C object src/CMakeFiles/libscipsdp.dir/scipsdp/disp_sdpunsolved.c.o
@pfetsch
Copy link
Contributor

pfetsch commented Feb 28, 2024

How did you build and install SCIP? With make or cmake and then make install?

@pfetsch
Copy link
Contributor

pfetsch commented Feb 28, 2024

O. k. I found the problem:

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 5392127c5d..b66e86dec5 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -991,6 +991,7 @@ set(scipheaders
 set(symheaders
   symmetry/build_sassy_graph.h
   symmetry/compute_symmetry.h
+  symmetry/struct_symmetry.h
   symmetry/type_symmetry.h
 )

I submitted a bugfix for SCIP.

mkoeppe added a commit to mkoeppe/sage that referenced this issue Feb 28, 2024
@mkoeppe
Copy link
Contributor Author

mkoeppe commented Feb 28, 2024

Danke!

@pfetsch
Copy link
Contributor

pfetsch commented Mar 6, 2024

I am closing this, although it will take a while until the fix will be available in a release.

@pfetsch pfetsch closed this as completed Mar 6, 2024
vbraun pushed a commit to vbraun/sage that referenced this issue Apr 25, 2024
…plex to 7, papilo to 2.2, pyscipopt to 5, onetbb to 2021.11

    
<!-- ^ Please provide a concise and informative title. -->
<!-- ^ Don't put issue numbers in the title, do this in the PR
description below. -->
<!-- ^ For example, instead of "Fixes sagemath#12345" use "Introduce new method
to calculate 1 + 2". -->
<!-- v Describe your changes below in detail. -->
<!-- v Why is this change required? What problem does it solve? -->
<!-- v If this PR resolves an open issue, please link to it here. For
example, "Fixes sagemath#12345". -->

https://www.scipopt.org/doc-9.0.0/html/RN90.php

- [x] scipopt/SCIP-SDP#12
- [ ] scipopt/soplex#35
- [x] needs pyscipopt update

### 📝 Checklist

<!-- Put an `x` in all the boxes that apply. -->

- [x] The title is concise and informative.
- [ ] The description explains in detail what this PR is about.
- [ ] I have linked a relevant issue or discussion.
- [ ] I have created tests covering the changes.
- [ ] I have updated the documentation accordingly.

### ⌛ Dependencies

<!-- List all open PRs that this PR logically depends on. For example,
-->
<!-- - sagemath#12345: short description why this is a dependency -->
<!-- - sagemath#34567: ... -->

- Depends on sagemath#37237
- Depends on sagemath#37351
- Depends on sagemath#36970
- Depends on sagemath#37392
    
URL: sagemath#37494
Reported by: Matthias Köppe
Reviewer(s): Kwankyu Lee
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

No branches or pull requests

2 participants