From 0861b55ce98ed52eefd394cc093eae88d393a78a Mon Sep 17 00:00:00 2001
From: Adeeb Shihadeh <adeebshihadeh@gmail.com>
Date: Tue, 23 Aug 2022 10:23:18 -0700
Subject: [PATCH] pipenv sync (#83)

* pipenv sync

* options are different
---
 Dockerfile.agnos | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Dockerfile.agnos b/Dockerfile.agnos
index 0818498..2873ae0 100644
--- a/Dockerfile.agnos
+++ b/Dockerfile.agnos
@@ -83,7 +83,8 @@ RUN export PATH="/usr/local/pyenv/bin:/usr/local/pyenv/shims:$PATH" && \
     pip3 install --no-cache-dir --upgrade pipenv==2022.5.2 && \
     cd /tmp/agnos && \
     export PYOPENCL_CL_PRETEND_VERSION="2.0" && \
-    MAKEFLAGS="-j$(nproc)" pipenv install --system --deploy --dev --clear && \
+    MAKEFLAGS="-j$(nproc)" pipenv sync --system --dev && \
+    pipenv --clear && \
     pip uninstall -y pipenv && \
     pyenv rehash