Benchmark driver script
-rw-r--r-- 67 GNUmakefile
-rw-r--r-- 1641 LICENSE
-rw-r--r-- 328 Makefile
-rw-r--r-- 18 defineTOP.mk
drwxr-xr-x - dph-base
drwxr-xr-x - dph-common
drwxr-xr-x - dph-prim-interface
drwxr-xr-x - dph-prim-par
drwxr-xr-x - dph-prim-seq
drwxr-xr-x - examples
-rw-r--r-- 66 ghc-packages
-rw-r--r-- 1408 ghc.mk
-rw-r--r-- 118 ndp.mk