summaryrefslogtreecommitdiff
path: root/xml/relaxng/src/resources/patches/patch_build.patch
blob: 88e4148c2420a2baf5af656b4f61f39365ccbf5e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
diff --git a/build.py b/build.py
index ac7ecb3..db7de9c 100755
--- a/build.py
+++ b/build.py
@@ -153,13 +153,13 @@ dependencyJars = runDependencyJars + buildOnlyDependencyJars
 
 moduleNames = [
   "syntax",
-  "util",
-  "xmlparser",
+  # "util",
+  # "xmlparser",
   "validator",
-  "jing-trang",
-  "htmlparser",
-  "nu-validator-site",
-  "tests",
+  # "jing-trang",
+  # "htmlparser",
+  # "nu-validator-site",
+  # "tests",
 ]
 
 javaSafeNamePat = re.compile(r'[^a-zA-Z0-9]')
@@ -926,19 +926,19 @@ def downloadDependencies():
     downloadDependency(url, md5sum)
 
 def buildAll():
-  if 'JAVA_HOME' not in os.environ:
-    print "Error: The JAVA_HOME environment variable is not set."
-    print "Set the JAVA_HOME environment variable to the pathname of the directory where your JDK is installed."
-    sys.exit(1)
-  prepareLocalEntityJar()
-  buildJing()
-  buildDatatypeLibrary()
-  buildNonSchema()
+  # if 'JAVA_HOME' not in os.environ:
+  #   print "Error: The JAVA_HOME environment variable is not set."
+  #   print "Set the JAVA_HOME environment variable to the pathname of the directory where your JDK is installed."
+  #   sys.exit(1)
+  # prepareLocalEntityJar()
+  # buildJing()
+  # buildDatatypeLibrary()
+  # buildNonSchema()
   buildSchemaDrivers()
-  buildHtmlParser()
-  buildUtil()
-  buildXmlParser()
-  buildValidator()
+  # buildHtmlParser()
+  # buildUtil()
+  # buildXmlParser()
+  # buildValidator()
 
 def gitCloneOrUpdate(mod, baseUrl):
   if os.path.exists(mod):