diff options
| author | krasimir <krasimir@chalmers.se> | 2009-06-04 16:26:52 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-06-04 16:26:52 +0000 |
| commit | f2a968b6d53ac07df67f393bd06c38f368d08c02 (patch) | |
| tree | 6cf785bcb1807de93f10452b11b0dd306157ec70 /src/morpho-server/Makefile | |
| parent | 6a263f05aa8d963f7141aca8b7ee0cae0c063515 (diff) | |
the morpho server is now updated and works with the current GF. the sources are moved in directory server
Diffstat (limited to 'src/morpho-server/Makefile')
| -rw-r--r-- | src/morpho-server/Makefile | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/src/morpho-server/Makefile b/src/morpho-server/Makefile deleted file mode 100644 index a6d9bba52..000000000 --- a/src/morpho-server/Makefile +++ /dev/null @@ -1,10 +0,0 @@ -.PHONY: gf-morpho.fcgi clean - -gf-morpho.fcgi: - ghc -i.. --make -o $@ MorphoServer.hs -# cabal configure -# cabal build -# cp dist/build/$@/$@ . - -clean: - cabal clean |