Changes
Summary
- Output sample make file one level down. (commit: d4e9182) (details)
- Modified sample make file to work with new folder structure. (commit: 228b806) (details)
![]() | ide/cgen/src/main/java/org/overture/ide/plugins/cgen/commands/Vdm2CCommand.java (diff) |
![]() | c/vdmclib/src/SampleMakefile (diff) |