Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
View | Details | Raw Unified | Return to bug 52132 | Differences between
and this patch

Collapse All | Expand All

(-)build.xml.orig (-5 / +3 lines)
Lines 21-29 Link Here
21
	<property name = "includeAntRuntime" value = "no"/>
21
	<property name = "includeAntRuntime" value = "no"/>
22
	<property name = "source" value = "1.4"/>
22
	<property name = "source" value = "1.4"/>
23
	<path id = "project.classpath">    
23
	<path id = "project.classpath">    
24
		<pathelement location = "${lib}/junit.jar"/>
24
		<fileset dir="${lib}" includes="*.jar"/>
25
		<pathelement location = "${lib}/looks.jar"/>
26
		<pathelement location = "${lib}/unicode_panel.jar"/>
27
	</path>  
25
	</path>  
28
	<!-- =================================================================== -->
26
	<!-- =================================================================== -->
29
	
27
	
Lines 87-93 Link Here
87
		<delete file = "${src}/edu/stanford/smi/protege/storage/clips/Token.java"/>
85
		<delete file = "${src}/edu/stanford/smi/protege/storage/clips/Token.java"/>
88
		<delete file = "${src}/edu/stanford/smi/protege/storage/clips/TokenMgrError.java"/>
86
		<delete file = "${src}/edu/stanford/smi/protege/storage/clips/TokenMgrError.java"/>
89
		<!-- Run JavaCC on Parser.jj to regenerate files that were deleted in above step. -->
87
		<!-- Run JavaCC on Parser.jj to regenerate files that were deleted in above step. -->
90
		<javacc javacchome = "${javacc.home}/bin/lib" target = "${scripts}/Parser.jj" outputdirectory = "${src}/edu/stanford/smi/protege/storage/clips"/>  
88
		<javacc javacchome = "${javacc.home}/lib" target = "${scripts}/Parser.jj" outputdirectory = "${src}/edu/stanford/smi/protege/storage/clips"/>  
91
	</target>  
89
	</target>  
92
	<!-- =================================================================== -->
90
	<!-- =================================================================== -->
93
	
91
	
Lines 174-177 Link Here
174
		<delete dir = "${javadocs}"/>
172
		<delete dir = "${javadocs}"/>
175
		<delete file = "${protege.jar}"/>
173
		<delete file = "${protege.jar}"/>
176
	</target>
174
	</target>
177
</project>
175
</project>

Return to bug 52132