Skip to content
This repository has been archived by the owner on Nov 17, 2023. It is now read-only.

Improve dev_menu usability, local build and virtualenv #13529

Merged
merged 4 commits into from
Dec 13, 2018
Merged

Improve dev_menu usability, local build and virtualenv #13529

merged 4 commits into from
Dec 13, 2018

Commits on Dec 11, 2018

  1. Improve dev_menu, add build command and virtualenv creation with loca… 

    …l builds for easy testing
    @larroy
    Pedro Larroy authored and larroy committed Dec 11, 2018
    Configuration menu
    Copy the full SHA
    c2f3d1f View commit details
    Browse the repository at this point in the history

  2. Update dev_menu.py 

    Co-Authored-By: larroy <[email protected]>
    @jlcontreras @larroy
    jlcontreras and larroy committed Dec 11, 2018
    Configuration menu
    Copy the full SHA
    2200601 View commit details
    Browse the repository at this point in the history

  3. Cuda off by default, use ccache

    @larroy
    larroy committed Dec 11, 2018
    Configuration menu
    Copy the full SHA
    7194bb8 View commit details
    Browse the repository at this point in the history

  4. address CR

    @larroy
    larroy committed Dec 11, 2018
    Configuration menu
    Copy the full SHA
    f70db5b View commit details
    Browse the repository at this point in the history