marlin: improve build

huggingface · Jun 6, 2024 · 5162143 · 5162143
1 parent 0d96468
commit 5162143
Showing 1 changed file with 7 additions and 9 deletions.
diff --git 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 .