Move transport_interface.h from portable/ to interface/ (#49)

* Move transport_interface.h to interface/ folder.

* Change all paths from portable to interface.

.github/workflows/ci.yml

@@ -125,8 +125,8 @@ jobs:
           path: ssot
       - name: Check transport_interface.h
         run: |
-          SSOT_FILE="ssot/source/portable/transport_interface.h"
-          CURRENT_FILE="current/source/portable/transport_interface.h"
+          SSOT_FILE="ssot/source/interface/transport_interface.h"
+          CURRENT_FILE="current/source/interface/transport_interface.h"
           diff <(tail -n +3 $SSOT_FILE) <(tail -n +3 $CURRENT_FILE)
           if [ "$?" -ne "0" ]; then
             echo "transport_interface.h differs from coreMQTT."

docs/doxygen/config.doxyfile

@@ -847,7 +847,7 @@ WARN_LOGFILE           =
 INPUT                  = ./docs/doxygen \
                          ./source \
                          ./source/include \
-                         ./source/portable
+                         ./source/interface
 
 # This tag can be used to specify the character encoding of the source files
 # that doxygen parses. Internally doxygen uses the UTF-8 encoding. Doxygen uses

httpFilePaths.cmake

@@ -13,5 +13,5 @@ set( HTTP_SOURCES
 # HTTP library public include directories.
 set( HTTP_INCLUDE_PUBLIC_DIRS
      ${CMAKE_CURRENT_LIST_DIR}/source/include
-     ${CMAKE_CURRENT_LIST_DIR}/source/portable
+     ${CMAKE_CURRENT_LIST_DIR}/source/interface
      ${CMAKE_CURRENT_LIST_DIR}/source/third-party/http_parser )

test/cbmc/proofs/Makefile-project-defines

@@ -24,7 +24,7 @@ PROJECT_NAME = "FreeRTOS coreHTTP"
 # Preprocessor include paths -I...
 INCLUDES += -I$(SRCDIR)/test/cbmc/include
 INCLUDES += -I$(SRCDIR)/source/include
-INCLUDES += -I$(SRCDIR)/source/portable
+INCLUDES += -I$(SRCDIR)/source/interface
 INCLUDES += -I$(SRCDIR)/source
 INCLUDES += -I$(SRCDIR)/source/third-party/http_parser