diff options
Diffstat (limited to '')
| -rw-r--r-- | Makefile | 35 |
1 files changed, 32 insertions, 3 deletions
@@ -22,6 +22,9 @@ OBJ_PUBLIC =\ libnormalform_clone.o\ libnormalform_evaluate.o\ libnormalform_express.o\ + libnormalform_dnf.o\ + libnormalform_cnf.o\ + libnormalform_cdnf.o\ libnormalform_to_string.o\ libnormalform_from_string.o\ libnormalform_variable.o\ @@ -111,7 +114,7 @@ OBJ_PUBLIC =\ libnormalform_nor2.o\ libnormalform_xnor2.o\ libnormalform_nif2.o\ - libnormalform_nimply2.o\ + libnormalform_nimply2.o OBJ =\ $(OBJ_PUBLIC)\ @@ -119,7 +122,19 @@ OBJ =\ libnormalform_or2__.o\ libnormalform_xor2__.o\ libnormalform_set_indices_and_counts__.o\ - libnormalform_reset_indices_and_counts__.o + libnormalform_reset_indices_and_counts__.o\ + libnormalform_express__.o\ + libnormalform_free_expression__.o\ + libnormalform_apply_transformation__.o\ + libnormalform_make_binary__.o\ + libnormalform_fix_presentation__.o\ + libnormalform_literal_cmp__.o\ + libnormalform_literal_sort_cmp__.o\ + libnormalform_clause_cmp__.o\ + libnormalform_clause_sort_cmp__.o\ + libnormalform_contains_clause__.o\ + libnormalform_expression_to_term__.o\ + libnormalform_get_relationship__.o TOBJ = $(OBJ:.o=.to)\ libnormalform_andl_macro_test.to\ @@ -164,7 +179,19 @@ MAN3 =\ libnormalform_value.3\ LIBNORMALFORM_SENTENCE.3\ struct_libnormalform_sentence.3\ - libnormalform_sentence.3 + libnormalform_sentence.3\ + enum_libnormalform_ternary.3\ + libnormalform_ternary.3\ + struct_libnormalform_atom_comparison.3\ + libnormalform_atom_comparison.3\ + struct_libnormalform_domain_comparison.3\ + libnormalform_domain_comparison.3\ + enum_libnormalform_domain_relationship.3\ + libnormalform_domain_relationship.3\ + enum_libnormalform_sentences_relationship.3\ + libnormalform_sentences_relationship.3\ + struct_libnormalform_analysers.3\ + libnormalform_analysers.3 LOBJ = $(OBJ:.o=.lo) TEST = $(TOBJ:.to=.t) @@ -190,6 +217,8 @@ $L_nor2.to $L_norl.to $L_vnor.to $L_nor_$C.to $L_norl_$C.to $L_vn $L_xnor2.to $L_xnorl.to $L_vxnor.to $L_xnor_$C.to $L_xnorl_$C.to $L_vxnor_$C.to $L_xnorl_macro_test.to : $L_xnor.c $L_nif2.to $L_nifl.to $L_vnif.to $L_nif_$C.to $L_nifl_$C.to $L_vnif_$C.to $L_nifl_macro_test.to : $L_nif.c $L_nimply2.to $L_nimplyl.to $L_vnimply.to $L_nimply_$C.to $L_nimplyl_$C.to $L_vnimply_$C.to $L_nimplyl_macro_test.to : $L_nimply.c +libnormalform_literal_sort_cmp__.to: libnormalform_literal_cmp__.c +libnormalform_clause_sort_cmp__.to: libnormalform_clause_cmp__.c .c.o: $(CC) -c -o $@ $< $(CFLAGS) $(CPPFLAGS) |