Updated docker build command

fkie-cad · Jun 25, 2019 · 8c23e10 · 8c23e10
1 parent 89c388b
commit 8c23e10
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/Makefile b/Makefile
@@ -1,4 +1,4 @@
-.PHONY: all clean test uninstall
+.PHONY: all clean test uninstall docker
 all:
 	dune build
 	dune install
@@ -27,3 +27,6 @@ uninstall:
 	cd plugins/cwe_checker_emulation; make uninstall; cd ../..
 	cd plugins/cwe_checker_type_inference; make uninstall; cd ../..
 	cd plugins/cwe_checker_type_inference_print; make uninstall; cd ../..
+
+docker:
+	./install.sh
diff --git a/install.sh b/install.sh
@@ -1,8 +1,7 @@
 #!/usr/bin/env bash
 
 echo "Cleaning up"
-rm -rf src/_build
-rm -f src/cwe_checker.plugin 
+make clean
 
 echo "Building docker container"
 docker build --build-arg=http{,s}_proxy --build-arg=HTTP{,S}_PROXY -t cwe-checker .