put angr in the default venv

leylines-ansible/playbook-setup.yml

@@ -5,7 +5,7 @@
     LD_LIBRARY_PATH: '/home/{{ ansible_user }}/.local/lib:{{ ansible_env.get("LD_LIBRARY_PATH", "") }}'
   vars:
     python_version: 3.9.5
-    z3_version: 4.8.11
+    # z3_version: 4.8.11
     base_packages:
       - dask
       - distributed
@@ -25,6 +25,7 @@
       - sqlalchemy
       - toolz
       - xxhash
+      - angr
     scheduler_packages:
       - bokeh
       - jupyter-server-proxy
@@ -75,38 +76,38 @@
         make -j$(nproc) EXTRA_CFLAGS="$CFLAGS"
         make EXTRA_CFLAGS="$CFLAGS" install
 
-    - name: build and install z3 (workers)
-      when: leylines_is_server == "no"
-      register: z3install
-      changed_when: "'NO_COMPILE_NEEDED' not in pyinstall.stdout"
-      args:
-        executable: "/bin/bash"
-      shell: |
-        set -eo pipefail
-        existing_ver="$(python3 -c "import z3; print(z3.get_version_string())" || true)"
-        if [ "$existing_ver" == "{{ z3_version }}" ]; then
-          echo "NO_COMPILE_NEEDED"
-          exit
-        fi
-        cd $HOME/python
-        wget -O z3.tgz https://github.com/Z3Prover/z3/archive/z3-{{ z3_version }}.tar.gz
-        tar xf z3.tgz
-        # microsoft why are you like this
-        cd z3-z3-{{ z3_version }}
-        mkdir -p build
-        cd build
-        cmake .. \
-          -DCMAKE_BUILD_TYPE=Release \
-          -DCMAKE_INSTALL_PREFIX=$HOME/.local \
-          -DCMAKE_INSTALL_LIBDIR=lib \
-          -DZ3_LINK_TIME_OPTIMIZATION=1 \
-          -DZ3_BUILD_PYTHON_BINDINGS=1 \
-          -DPYTHON_EXECUTABLE=$HOME/.local/bin/python3
-        make -j$(nproc)
-        make install
-        cd $HOME/.local/lib/python*/site-packages/z3
-        python3 -m compileall .
-        python3 -O -m compileall .
+    # - name: build and install z3 (workers)
+    #   when: leylines_is_server == "no"
+    #   register: z3install
+    #   changed_when: "'NO_COMPILE_NEEDED' not in pyinstall.stdout"
+    #   args:
+    #     executable: "/bin/bash"
+    #   shell: |
+    #     set -eo pipefail
+    #     existing_ver="$(python3 -c "import z3; print(z3.get_version_string())" || true)"
+    #     if [ "$existing_ver" == "{{ z3_version }}" ]; then
+    #       echo "NO_COMPILE_NEEDED"
+    #       exit
+    #     fi
+    #     cd $HOME/python
+    #     wget -O z3.tgz https://github.com/Z3Prover/z3/archive/z3-{{ z3_version }}.tar.gz
+    #     tar xf z3.tgz
+    #     # microsoft why are you like this
+    #     cd z3-z3-{{ z3_version }}
+    #     mkdir -p build
+    #     cd build
+    #     cmake .. \
+    #       -DCMAKE_BUILD_TYPE=Release \
+    #       -DCMAKE_INSTALL_PREFIX=$HOME/.local \
+    #       -DCMAKE_INSTALL_LIBDIR=lib \
+    #       -DZ3_LINK_TIME_OPTIMIZATION=1 \
+    #       -DZ3_BUILD_PYTHON_BINDINGS=1 \
+    #       -DPYTHON_EXECUTABLE=$HOME/.local/bin/python3
+    #     make -j$(nproc)
+    #     make install
+    #     cd $HOME/.local/lib/python*/site-packages/z3
+    #     python3 -m compileall .
+    #     python3 -O -m compileall .
 
     - name: create dask dir
       file:
@@ -120,26 +121,25 @@
       pip:
         virtualenv: /home/{{ ansible_user }}/dask/dask-venv
         virtualenv_command: python3 -m venv
-        virtualenv_site_packages: True
         state: latest
         name: "{{ python_packages }}"
 
-    - name: create alternate venv for angr
-      when: leylines_is_server == "no"
-      pip:
-        virtualenv: /home/{{ ansible_user }}/dask/angr-venv
-        virtualenv_command: python3 -m venv
-        state: latest
-        name: ["angr", "cloudpickle"]
-
-    - name: copy weird packages
-      when: leylines_is_server == "no"
-      changed_when: true
-      args:
-        executable: "/bin/bash"
-      shell: |
-        set -eo pipefail
-        cp -r $HOME/.local/lib/python*/site-packages/z3/ $HOME/dask/dask-venv/lib/python*/site-packages/
+    # - name: create alternate venv for angr
+    #   when: leylines_is_server == "no"
+    #   pip:
+    #     virtualenv: /home/{{ ansible_user }}/dask/angr-venv
+    #     virtualenv_command: python3 -m venv
+    #     state: latest
+    #     name: ["angr", "cloudpickle"]
+    #
+    # - name: copy weird packages
+    #   when: leylines_is_server == "no"
+    #   changed_when: true
+    #   args:
+    #     executable: "/bin/bash"
+    #   shell: |
+    #     set -eo pipefail
+    #     cp -r $HOME/.local/lib/python*/site-packages/z3/ $HOME/dask/dask-venv/lib/python*/site-packages/
 
     - name: install systemd user dir
       file: