Dump .lp file for final WCRE analysis

arch/patmos/CMakeLists.txt

@@ -88,7 +88,6 @@ macro(dosek_executable ELFFILE)
       COMMAND ${TC_TARGET_PLATIN} wcet -i ${SYSTEM_PML} -i ${GCFG_PML} --binary ${ELFFILE}
           --wca-count-instructions --disable-ait --wca-detect-gurobi
           --dref-stats ${PROJECT_BINARY_DIR}/${ELFFILE}.`printenv CIRCUIT`.dref
-          --wca-write-lp-file ${PROJECT_BINARY_DIR}/${ELFFILE}.`printenv CIRCUIT`.lp
           -e GCFG:timing-`printenv CIRCUIT`)
     
     # target to run the static WCEC analysis with platin
@@ -98,6 +97,7 @@ macro(dosek_executable ELFFILE)
       COMMAND ${TC_TARGET_PLATIN} wcet -i ${SYSTEM_PML} -i ${GCFG_PML} --binary ${ELFFILE}
           --wca-count-instructions --disable-ait --wca-detect-gurobi --wcec
           --dref-stats ${PROJECT_BINARY_DIR}/${ELFFILE}.`printenv CIRCUIT`.dref
+          --wca-write-lp-file ${PROJECT_BINARY_DIR}/${ELFFILE}.`printenv CIRCUIT`.lp
           -e GCFG:timing-`printenv CIRCUIT`)
 
     # target to run a simulation with pasim