adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Configure SimplExport targets in proof/Makefile.

This commit is contained in:
Thomas Sewell 2015-08-21 13:54:42 +10:00
parent 88b01788b3
commit 2619356d07
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
proof/Makefile
View File

@ -46,6 +46,7 @@ HEAPS += SepTactics SepTacticsExamples
# Additional dependencies
CKernel CSpec CBaseRefine CRefine: c-kernel
SimplExportAndRefine SimplExportOnly: c-kernel
# Preprocess the kernel's source code and bitfield theory files.
c-kernel: .FORCE