source:
vis_dev/glu-2.3/src/mdd/mdd.make
@
75
| Last change on this file since 75 was 13, checked in by , 14 years ago | |
|---|---|
| File size: 404 bytes | |
| Line | |
|---|---|
| 1 | CSRC_mdd = mdd_add.c mdd_andsmoot.c mdd_bund.c mdd_case.c mdd_cofactor.c mdd_consensus.c mdd_func1c.c mdd_func2.c mdd_func2c.c mdd_func3.c mdd_ineq_s.c mdd_init.c mdd_intv.c mdd_iter.c mdd_literal.c mdd_mod.c mdd_quit.c mdd_search.c mdd_smooth.c mdd_substit.c mdd_support.c mdd_uminus.c mdd_util.c mvar2bdds.c mdd_func2cmod.c mdd_dot.c |
| 2 | HEADERS_mdd = mdd.h |
| 3 | MISC += mdd.doc |
| 4 | |
| 5 | |
| 6 | DEPENDENCYFILES = $(CSRC_mdd) |
Note: See TracBrowser
for help on using the repository browser.
![(please configure the [header_logo] section in trac.ini)](/trac/verif_tools/chrome/site/your_project_logo.png)