diff --git a/server/Makefile-marlin b/server/Makefile-marlin index 8b4333e8..816546af 100644 --- a/server/Makefile-marlin +++ b/server/Makefile-marlin @@ -1,13 +1,11 @@ marlin_commit := 2f6d7c10e124b3c5fa29ff8d77d568bd7af3274c -marlin: - # Clone marlin - pip install packaging - git clone https://github.com/IST-DASLab/marlin.git marlin - -build-marlin: marlin - cd marlin && git fetch && git checkout $(marlin_commit) - cd marlin && python setup.py build +build-marlin: + if [ ! -d 'marlin' ]; then \ + pip install -U ninja packaging --no-cache-dir && \ + git clone https://github.com/IST-DASLab/marlin.git marlin; \ + fi + cd marlin && git fetch && git checkout $(marlin_commit) && python setup.py build install-marlin: build-marlin - cd marlin && python setup.py install + cd marlin && git fetch && git checkout $(marlin_commit) && pip install -e .