s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
823 Commits
5 Branches
0 Tags
31 MiB
Tree: 99dbe158f2
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '99dbe158f2'
${ noResults }
Commit Graph

55 Commits (99dbe158f2b94d1c65747b26803596b2d38df6de)

Author SHA1 Message Date
Dave Parker 99dbe158f2 Makefile tweak: CUDD flags on Windows.
16 years ago
Dave Parker 5a5eb34bc3 Makefile tweak: miscopied CUDD XCFLAGS for Solaris.
16 years ago
Dave Parker 45d7a29043 Makefile tweaks: debug info on by default and CUDD settings passed direct to Makefile.
16 years ago
Dave Parker 5a726ff948 Makefile fix: allow building in 32-bit mode on 64-bit Linux.
16 years ago
Dave Parker 91ce501999 makefile tweak - unneeded flags to compiler on Macs.
16 years ago
Dave Parker bc284d9717 Makefile bug on Mac OS X 64-bit (not copied from 3.3 ( .1 ) fixes ) .
16 years ago
Dave Parker c7e85807d5 Tidy in Makefile.
16 years ago
Dave Parker bba816fc9e Ensure possible to build 32-bit version on 64-bit Macs.
16 years ago
Dave Parker 77abf16ab8 Makefile bug.
17 years ago
Dave Parker 6751575bd0 Moved nsis_script.nsi into src.
17 years ago
Dave Parker d199d035ed Integration of prism-explicit branch into trunk, i.e. merge of trunk@1015-prism-explicit@1405 into trunk.
17 years ago
Dave Parker 51376b7dc8 Attempted detection of 64-bit (Java) on Macs.
17 years ago
Dave Parker 86df494672 First attempt at 64-bit OS-X Makefiles.
17 years ago
Dave Parker b7c8f04c10 Makefile bugfix: dist_bin works even in examples dir absent.
18 years ago
Dave Parker b0f6994f55 Added some useful scripts to etc/scripts.
18 years ago
Dave Parker 9d59912d3b Working (but untidied) version of MDP LTL model checking.
18 years ago
Dave Parker c52a0646e1 Improved javadoc command in Makefile.
18 years ago
Dave Parker dc1e266f04 Another fix to stop infinite loops when detecting javac (part 2).
18 years ago
Dave Parker dd810cadd3 Another fix to stop infinite loops when detecting javac.
18 years ago
Dave Parker de31da4f69 Makefile fix for building on Mac OS X Leopard.
18 years ago
Dave Parker 8a058dc21e Auto creation of bin/classes directories if they do not exist.
18 years ago
Dave Parker bef230088c Main Makefile CC/CPP options passed to CUDD Makefiles.
18 years ago
Dave Parker 35098ec695 Added note to Makefile (CUDD compiler options).
18 years ago
Dave Parker 77223cff13 Makefile fix so CLASSPATHSEP works on Cygwin.
18 years ago
Dave Parker 1b6b8a1f6d Merged jfreechart port into trunk.
18 years ago
Dave Parker 0e13a13ca3 Makefile mod: auto-creation of obj directories.
19 years ago
Dave Parker 60970d1a61 Makefile mods (make dist_bin stuff).
19 years ago
Dave Parker f9ed27bfc1 Bug fix in Makefile (jar generation).
19 years ago
Dave Parker d636ab1969 Addition of 64-bit PRISM branch to trunk.
19 years ago
Dave Parker a3b073de7a Makefile: clean_cudd actually cleans CUDD.
19 years ago
Dave Parker d8fbe82ccc Makefile bug fix.
19 years ago
Dave Parker 51ea826b7f Added reminder to possibly change something in the makefile at a later date.
19 years ago
Dave Parker b45016b75a Makefile error reporting when CUDD dir not found.
19 years ago
Dave Parker 8ff5d1ae93 Makefile tweak: Detection of Cygwin when OSTYPE=posix.
19 years ago
Dave Parker fd958f66e0 Makefile tweak to remove surplus error messages.
19 years ago
Dave Parker eaed7b4233 Improved Java detetction in Makefile, including case where directory has a space, e.g. "Progam Files".
19 years ago
Dave Parker f858ba3fa9 Makefile: display of some important environment variables during "checks" target.
19 years ago
Dave Parker 0cf56fb71b Makefile tweak: better source code distribution building.
19 years ago
Dave Parker 56ebdf2f4e Makefile fix: CUDD_DIR variable not actually respected.
19 years ago
Dave Parker 6845512140 Removal of APMC code.
19 years ago
Dave Parker 8e1c5ec0d5 Bugfixes for new script file generation stuff (on Cygwin).
19 years ago
Dave Parker 6118ce60e9 New way of generating startup scripts (bin/prism, etc.).
19 years ago
Dave Parker 98de9e0649 Changed Cygwin linking flag in Makefile.
19 years ago
Mark Kattenbelt c728f4fe5b Edited makefile to create Jar files which can be double-clicked. Also added a manifest.txt in the src directory which is required to realise this behaviour.
19 years ago
Dave Parker c84494bd37 Another Makefile tweak.
19 years ago
Dave Parker c81206d993 Makefile typo.
19 years ago
Dave Parker c5715cb37d NSIS script and Makefile changes for Windows installer generation.
19 years ago
Dave Parker 9bf74d7e9a Makefile tweak: make dist uses subversion, not ~dxp.
19 years ago
Dave Parker 060576d0e8 Makefile tweaks: improved detection of Java wrt symlinks.
20 years ago
Dave Parker 1b4ba985cd Makefile bugfix: dist_bin target.
20 years ago