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.

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

WIP: Add initial vscode config files #1427

Open
wants to merge 3 commits into
base: master
Choose a base branch
from
Open

WIP: Add initial vscode config files #1427

wants to merge 3 commits into from

Conversation

certik
Copy link
Contributor

@certik certik commented Apr 3, 2018

I only tested this in Ubuntu 17.10.

TODO:

  • Test on a Mac and Windows (probably the patch in 1869596 must be applied to the Mac and Windows sections)
  • Write documentation how to use this, mentioning the cmake options (see the git commit message of 1869596), which extensions to install and so on.
  • Spend some time actually using it, I just started today, and decide later if we want this as part of the official repository. So far it seems to work with this PR.

@certik
Add the default c_cpp_properties.json for vscode
1cf0d5a 
This is the default file generated by vscode. SymEngine's changes will be
provided in the next commit.
@certik
Make vscode find symengine header files
1869596 
Specifically it now finds `catch.hpp` automatically.

The `compile_commands.json` file is generated by CMake when the following
option is supplied:

    -DCMAKE_EXPORT_COMPILE_COMMANDS=on
@certik
Put compile_commands.json into .gitignore
961ce39
@certik certik mentioned this pull request Sep 24, 2018
Closed
@certik
Copy link
Contributor Author

certik commented Sep 24, 2018

I have been undecided whether the vscode setting should live in the git repository itself, so I just asked at microsoft/vscode-cpptools#2549.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@certik