Skip to content

complete Makefile with aiger folder as dependency for ebmc #1

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
May 18, 2017
Merged

complete Makefile with aiger folder as dependency for ebmc #1

merged 1 commit into from
May 18, 2017

Conversation

mgudemann
Copy link
Contributor

This completes the dependency list for EBMC which now also includes the aiger subdir. It also removes the std=c++0x flag from the EBMC Makefile as the included config.inc of CBMC defines c++11.

@mgudemann mgudemann self-assigned this May 2, 2017
@mgudemann mgudemann requested a review from eigold May 2, 2017 19:07
@mgudemann
Copy link
Contributor Author

merged non-functional change

@mgudemann mgudemann merged commit 46d6b87 into master May 18, 2017
@eigold eigold mentioned this pull request Jun 18, 2017
Merged
@mgudemann mgudemann deleted the fix/complete_subdirs_aiger branch June 29, 2017 19:09
@mhayat-10xe mhayat-10xe mentioned this pull request Dec 11, 2023
Closed
@ShashankVM ShashankVM mentioned this pull request Jul 27, 2024
Closed
@Fuhj-better Fuhj-better mentioned this pull request Jan 19, 2025
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@eigold eigold eigold approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@mgudemann @eigold