🚑 Hotfix 0.3.2 (#183)

- Add recompile option to fix #182
TOPLLab · Jun 2, 2023 · da54f21 · da54f21
1 parent d050e5b
commit da54f21
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 2 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -26,7 +26,7 @@ if (BUILD_ESP)
     include($ENV{IDF_PATH}/tools/cmake/project.cmake "${PROJECT_BINARY_DIR}/../include")
 endif (BUILD_ESP)
 
-project(WARDuino VERSION 0.3.1)
+project(WARDuino VERSION 0.3.2)
 
 set(WARDUINO_VERSION_STRING "${PROJECT_VERSION}")
 configure_file(src/config.h.in include/warduino/config.h)

diff --git a/library.properties b/library.properties
@@ -1,5 +1,5 @@
 name=WARDuino
-version=0.3.1
+version=0.3.2
 author=Robbert Gurdeep Singh <[email protected]>, Christophe Scholliers <[email protected]>, Tom Lauwaerts <[email protected]>, Carlos Rojas Castillo <[email protected]>, Joel Martin <[email protected]>
 maintainer=Robbert Gurdeep Singh <[email protected]>, Christophe Scholliers <[email protected]>, Tom Lauwaerts <[email protected]>
 sentence=A library that enables the use of WebAssembly on Arduino boards with debugging support

diff --git a/platforms/Arduino/Makefile b/platforms/Arduino/Makefile
@@ -43,6 +43,8 @@ ifndef FQBN
 endif
 	arduino-cli compile --fqbn $(FQBN) Arduino.ino
 
+recompile: clean compile
+
 monitor: 
 ifndef PORT
 	$(error PORT is not set. Use a .config file)