Project

General

Profile

Statistics
| Branch: | Revision:

cool / Makefile @ master

History | View | Annotate | Download (826 Bytes)

# Date Author Comment
bc28fc54 04/06/2017 05:57 PM Hans-Peter Deifel

build: Use new Makefile as generated by oasis

Adds many new targets including 'test' and 'distclean'

f15d82e6 04/06/2017 05:57 PM Hans-Peter Deifel

Makefile: Add doc target to generate documentation

57224165 07/16/2014 12:58 PM Thorsten Wißmann

Reconfigure setup.ml on _oasis change

7fe1f7bb 07/10/2014 10:32 PM Thorsten Wißmann

Add dummy Makefile

39cd3579 04/23/2014 12:44 PM Thorsten Wißmann

Remove old toplevel Makefile

6fb39da4 03/31/2014 03:12 PM Thorsten Wißmann

Add wrapper Makefile in root directory

07c21167 03/31/2014 03:09 PM Thorsten Wißmann

Move sources of coalg to src subfolder

1ec1a764 01/29/2014 02:39 AM Thorsten Wißmann

Implement nnf printing

a9356d5a 01/28/2014 11:56 PM Thorsten Wißmann

Undo static linking

It only makes problems....

82cbf879 01/28/2014 11:40 PM Thorsten Wißmann

Disable debug compile flag -g everywhere

f467aedf 01/28/2014 11:38 PM Thorsten Wißmann

Enable static linking

60671427 01/28/2014 06:23 PM Thorsten Wißmann

Link gmlmip.o again

e2dc68f7 01/28/2014 04:07 PM Thorsten Wißmann

Enforce agents to be of the list --agents

1e892e16 01/28/2014 02:02 PM Thorsten Wißmann

Temporarily disable gmlmip.ml

It's, because the repo lacks it.

ba5b0017 01/27/2014 02:00 PM Thorsten Wißmann

Improve Makefile

bd573393 01/26/2014 04:27 PM Thorsten Wißmann

Glue GMLMIP tool into coalg

07c53791 01/25/2014 12:22 AM Thorsten Wißmann

Fixup GMLMIP makefiles

6fad6e7e 01/15/2014 12:35 PM Thorsten Wißmann

Correctly link against ocamlgraph

672e60fa 01/15/2014 12:08 PM Thorsten Wißmann

Remove graphlib from repo

7369dd14 01/14/2014 01:57 PM Thorsten Wißmann

Add CoAlgLogicUtils for helper functions

140c015b 01/14/2014 09:01 AM Thorsten Wißmann

Link against ocaml graph library

2f2b7629 01/13/2014 11:10 AM Thorsten Wißmann

Rename hashConsing -> HashConsing

45ac4ddb 01/13/2014 09:05 AM Thorsten Wißmann

Rename miscSolver -> MiscSolver

9f1d62d6 01/09/2014 12:47 PM Thorsten Wißmann

Do not unnecessarily call make itself from make

This also makes the PARALLEL flag unnecessary. To do parallel build just
pass -j4 directly to make.

f1fa9ad5 01/09/2014 11:01 AM Thorsten Wißmann

Add syntax elements for CL

- Add ENFORCES/ALLOWS to formula type
- Add HCENFORCES/HCALLOWS to hcFormula_node type
- Add EnforcesF/AllowsF to formulaType type
- Add CoalitonLogic to the list of functors ("sorts")
- Parse [{ }] and <{ }> terms
- Do hashing of those...
3dda5e5e 10/04/2013 03:57 PM Dirk Pattinson

added include directories

0c4441c7 10/03/2013 11:15 PM Thorsten Wißmann

Makefile: include .depend as a dependency

Use -include directive to tell Make that Make itself has to create the
.depend file. Therefore, add a .depend target in addition to the phony
depend target.

9cea3319 10/03/2013 11:08 PM Thorsten Wißmann

Remove all kinds of generated files on make clean

2c877d0b 10/03/2013 11:06 PM Thorsten Wißmann

Add . to the include search path

Look for headers in . as well, just to make sure it works for those
having minisat-includes saved in the project directory.

9ac7ad2d 10/03/2013 11:04 PM Thorsten Wißmann

Make system-includes and C++-Linker configurable

Include minisat- and caml-includes via #include <..> to make their
location in the file system configurable

4fd28192 10/03/2013 10:34 PM Thorsten Wißmann

Initial commit

It contains the most current tarball created by the original author
Florian Widmann.