@@ -60,7 +60,6 @@ usesEffects flags =
6060idrisClean _ flags _ _ = do
6161 cleanStdLib
6262 cleanLLVM
63− cleanJava
6463 where
6564 verbosity = S.fromFlag $ S.cleanVerbosity flags
6665
@@ -69,10 +68,6 @@ idrisClean _ flags _ _ = do
6968 makeClean "effects"
7069 makeClean "javascript"
7170
72− cleanJava = do
73− execPomExists <- doesFileExist ("java" </> "executable_pom.xml")
74− when execPomExists $ removeFile ("java" </> "executable_pom.xml")
75−
7671 cleanLLVM = makeClean "llvm"
7772
7873 makeClean dir = make verbosity [ "-C", dir, "clean", "IDRIS=idris" ]
@@ -83,7 +78,6 @@ idrisClean _ flags _ _ = do
8378
8479idrisConfigure _ flags _ local = do
8580 configureRTS
86− configureJava
8781 where
8882 verbosity = S.fromFlag $ S.configVerbosity flags
8983 version = pkgVersion . package $ localPkgDescr local
@@ -94,12 +88,6 @@ idrisConfigure _ flags _ local = do
9488 -- the file after configure.
9589 configureRTS = make verbosity ["-C", "rts", "clean"]
9690
97− configureJava = do
98− execPomTemplate <- TIO.readFile ("java" </> "executable_pom_template.xml")
99− TIO.writeFile ("java" </> "executable_pom.xml") (insertVersion execPomTemplate)
100− where
101− insertVersion = T.replace (T.pack "$RTS-VERSION$") (T.pack $ display version)
102−
10391-- -----------------------------------------------------------------------------
10492-- Build
10593
@@ -128,7 +116,6 @@ idrisBuild _ flags _ local = do
128116idrisInstall verbosity copy pkg local = do
129117 installStdLib
130118 installRTS
131− installJava
132119 when (usesLLVM $ configFlags local) installLLVM
133120 where
134121 target = datadir $ L.absoluteInstallDirs pkg local copy
@@ -144,10 +131,6 @@ idrisInstall verbosity copy pkg local = do
144131 putStrLn $ "Installing run time system in " ++ target'
145132 makeInstall "rts" target'
146133
147− installJava = do
148− putStrLn $ "Installing java pom template in " ++ target
149− copyFile ("java" </> "executable_pom.xml") (target </> "executable_pom.xml")
150−
151134 installLLVM = do
152135 let target' = target </> "llvm"
153136 putStrLn $ "Installing LLVM library in " ++ target