Change to support BSD sed

Signed-off-by: Alwin Joshy <joshyalwin@gmail.com>
seL4 · Sep 11, 2023 · 66be461 · 66be461
1 parent dba244d
commit 66be461
Showing 1 changed file with 73 additions and 35 deletions.
diff --git a/libpicotcp/CMakeLists.txt b/libpicotcp/CMakeLists.txt
@@ -74,41 +74,79 @@ if(LibPicotcp)
 
     # build picotcp using its very own build system
     include(ExternalProject)
-    ExternalProject_Add(
-        picotcp_external
-        SOURCE_DIR
-        "picotcp_external"
-        DOWNLOAD_COMMAND
-        rsync
-        -qur
-        --exclude='.git'
-        ${PICOTCP_PATH}
-        <SOURCE_DIR>
-        UPDATE_COMMAND
-        ""
-        PATCH_COMMAND
-        sed
-        -i
-        "s/(CROSS_COMPILE)gcc/(C_COMPILER)/g"
-        picotcp/Makefile
-        CONFIGURE_COMMAND
-        ""
-        BUILD_COMMAND
-        cd
-        <SOURCE_DIR>/picotcp/
-        &&
-        sh
-        build.sh
-        BUILD_IN_SOURCE
-        1
-        INSTALL_COMMAND
-        ""
-        EXCLUDE_FROM_ALL
-        BUILD_BYPRODUCTS
-        "<SOURCE_DIR>/picotcp/build/lib/libpicotcp.a"
-        DEPENDS
-        get_muslc
-    )
+    if(CMAKE_HOST_APPLE)
+    	ExternalProject_Add(
+        	picotcp_external
+        	SOURCE_DIR
+        	"picotcp_external"
+        	DOWNLOAD_COMMAND
+        	rsync
+        	-qur
+        	--exclude='.git'
+        	${PICOTCP_PATH}
+        	<SOURCE_DIR>
+        	UPDATE_COMMAND
+        	""
+        	PATCH_COMMAND
+        	sed
+        	-i ''
+        	"s/(CROSS_COMPILE)gcc/(C_COMPILER)/g"
+        	picotcp/Makefile
+        	CONFIGURE_COMMAND
+        	""
+        	BUILD_COMMAND
+        	cd
+        	<SOURCE_DIR>/picotcp/
+        	&&
+        	sh
+        	build.sh
+        	BUILD_IN_SOURCE
+        	1
+        	INSTALL_COMMAND
+        	""
+        	EXCLUDE_FROM_ALL
+        	BUILD_BYPRODUCTS
+        	"<SOURCE_DIR>/picotcp/build/lib/libpicotcp.a"
+        	DEPENDS
+        	get_muslc
+    	)
+    else()
+    	ExternalProject_Add(
+        	picotcp_external
+        	SOURCE_DIR
+        	"picotcp_external"
+        	DOWNLOAD_COMMAND
+        	rsync
+        	-qur
+        	--exclude='.git'
+        	${PICOTCP_PATH}
+        	<SOURCE_DIR>
+        	UPDATE_COMMAND
+        	""
+        	PATCH_COMMAND
+        	sed
+        	-i
+        	"s/(CROSS_COMPILE)gcc/(C_COMPILER)/g"
+        	picotcp/Makefile
+        	CONFIGURE_COMMAND
+        	""
+        	BUILD_COMMAND
+        	cd
+        	<SOURCE_DIR>/picotcp/
+        	&&
+        	sh
+        	build.sh
+        	BUILD_IN_SOURCE
+        	1
+        	INSTALL_COMMAND
+        	""
+        	EXCLUDE_FROM_ALL
+        	BUILD_BYPRODUCTS
+        	"<SOURCE_DIR>/picotcp/build/lib/libpicotcp.a"
+        	DEPENDS
+        	get_muslc
+    	)
+    endif()
 
     file(
         GLOB