minor update

Author: tinebp

configure

@@ -174,3 +174,6 @@ SOURCE_DIR="$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
 THIRD_PARTY_DIR=$SOURCE_DIR/third_party
 
 copy_files "$SOURCE_DIR" "$CURRENT_DIR"
+
+# generate hardware configuration files
+make -C hw config

hw/syn/xilinx/dut/tcu/Makefile

@@ -3,7 +3,7 @@ TOP_LEVEL_ENTITY = $(PROJECT)
 SRC_FILE = $(PROJECT).sv
 FPU_IP = 1
 
-CONFIGS += -DEXT_TCU_ENABLE
+CONFIGS += -DEXT_TCU_ENABLE -DEXT_F_DISABLE
 
 include ../../common.mk