diff options
Diffstat (limited to 'src/prop/Makefile.am')
| -rw-r--r-- | src/prop/Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/prop/Makefile.am b/src/prop/Makefile.am index 5e6b18c19..f109e0ed2 100644 --- a/src/prop/Makefile.am +++ b/src/prop/Makefile.am @@ -22,5 +22,8 @@ libprop_la_SOURCES = \ sat_solver_registry.h \ sat_solver_registry.cpp +EXTRA_DIST = \ + options_handlers.h + SUBDIRS = minisat bvminisat |