From f2a968b6d53ac07df67f393bd06c38f368d08c02 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Thu, 4 Jun 2009 16:26:52 +0000
Subject: the morpho server is now updated and works with the current GF. the
 sources are moved in directory server

---
 src/morpho-server/Makefile | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100644 src/morpho-server/Makefile

(limited to 'src/morpho-server/Makefile')

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
-- 
cgit v1.2.3