Merge pull request #97 from CortexFoundation/dev

Merge dev: update mrt v3.

Author: wlt-cortex

.github/workflows/ccpp.yml

@@ -55,3 +55,6 @@ out/*
 docs/html
 docs/doctrees
 docs/doxygen_output
+
+# django
+python/mrt/web/db.sqlite3

.gitignore

@@ -17,6 +17,6 @@ sphinx:
 python:
   version: 3.7
   install:
-    - requirements: install/requirements.txt
+    - requirements: conf/requirements.txt
     - requirements: docs/requirements.txt
   system_packages: true

.readthedocs.yml

@@ -11,7 +11,7 @@ all: lib python tests html
 
 # Mac OS should install libomp with brew
 dep:
-	python3 install/deps.py
+	python3 conf/deps.py
 
 lib: dep
 	@cd ${BUILD} && cmake ../ && $(MAKE)
@@ -39,6 +39,9 @@ test_gpu: ${TEST_GPUS}
 test_formal: ${TEST_FORMALS}
 test_opencl: ${TEST_OPENCL}
 
+%: %_cpu %_gpu %_formal
+	@echo "compile $@ succeed"
+
 %_cpu: ${TESTS}/%.cc lib
 	g++ -o ${BUILD}/${TESTS}/$@ $< -DDEVICE=0 -std=c++11 -I${INCLUDE} -L${BUILD} -lcvm -fopenmp -fsigned-char -pthread -Wl,-rpath=${BUILD}
 

.ycm_extra_conf.py

@@ -0,0 +1,39 @@
+CURR_DIR=$(dirname $(realpath ${BASH_SOURCE[0]}))
+ROOT_DIR=$(dirname ${CURR_DIR})
+PROJECT_NAME=$(basename ${ROOT_DIR})
+
+COM=""
+
+if [[ "${PYTHONPATH}" != *"${PROJECT_NAME}/python"* ]]; then
+  TPATH=${ROOT_DIR}/python
+  [[ -z ${PYTHONPATH} ]] || TPATH=${TPATH}:${PYTHONPATH}
+  export PYTHONPATH=${TPATH}
+fi
+
+if [[ "${LD_LIBRARY_PATH}" != *"${PROJECT_NAME}/build"* ]]; then
+  TPATH=${ROOT_DIR}/build
+  [[ -z ${LD_LIBRARY_PATH} ]] || TPATH=${TPATH}:${LD_LIBRARY_PATH}
+  export LD_LIBRARY_PATH=${TPATH}
+fi
+
+# if [[ ${COM} != "" ]]; then
+  # cat <<EOF
+
+# Due to bash limitation, we cannot add python & link library
+  # environment via scripts, and then we supply the below commands to
+  # help to setup the project, copy and execute it in terminal please:
+
+# \`
+  # ${COM}
+# \`
+
+# EOF
+# fi
+
+# echo "Done."
+
+# compile the cython module
+# echo "Compile the cython setup"
+# cd python
+# python3 setup.py build_ext -i
+# cd ..

Makefile

@@ -1,3 +1,4 @@
 numpy
 cython
 decorator
+yacs