Re: [Rodin-b-sharp-user] Rodin 1.1 -- Export to zip file problem

[Laurent V. <lau...@sy...>]

Dear Jonathan,

Le 27 janv. 10 à 22:08, Jonathan S. Ostroff a écrit :

> When exporting projects to a zip file, I sometimes get the error  
> report
> below. The project.zip file is created, but there is some problem  
> with the
> latex folder synch. Removing the latex folder or regenerating the  
> latex does
> not solve the problem. This is under win7.
>
> Any help would be appreciated.

This kind of messages happens when one modifies directly files in the  
filesystem, e.g., by copying files or by running LaTeX outside of  
Eclipse.  Eclipse then has a fuzzy picture of the filesystem contents  
and find out that some files have changed or have been removed "behind  
its back" when trying to access them for building the archive.

To solve the problem, you have to run a refresh action on the  
project.  For that, go to view "Event-B Explorer" or "Navigator",  
select the project and click on "Refresh" in the contextual menu.   
This will synchronise Eclipse with the actual filesystem content.  
Alternatively, you can also refresh your whole workspace by having  
nothing selected before clicking "Refresh".

Cheers,
Laurent.

> Problems were encountered during export:
>  Error exporting A1-mutex-soln/latex/b2latex.sty: File not found:
> C:\Users\jonathan\Desktop\jso21\Rodin\rodin1.1a\workspace\A1-mutex- 
> soln\late
> x\b2latex.sty.
>    File not found:
> C:\Users\jonathan\Desktop\jso21\Rodin\rodin1.1a\workspace\A1-mutex- 
> soln\late
> x\b2latex.sty.
>  Error exporting A1-mutex-soln/latex/m0_24_ Jan_2010.aux: File not  
> found:
> C:\Users\jonathan\Desktop\jso21\Rodin\rodin1.1a\workspace\A1-mutex- 
> soln\late
> x\m0_24_ Jan_2010.aux.
>    File not found:
> C:\Users\jonathan\Desktop\jso21\Rodin\rodin1.1a\workspace\A1-mutex- 
> soln\late
> x\m0_24_ Jan_2010.aux.
>  Error exporting A1-mutex-soln/latex/m0_24_ Jan_2010.log: File not  
> found:
> C:\Users\jonathan\Desktop\jso21\Rodin\rodin1.1a\workspace\A1-mutex- 
> soln\late
> x\m0_24_ Jan_2010.log.
>    File not found:
> C:\Users\jonathan\Desktop\jso21\Rodin\rodin1.1a\workspace\A1-mutex- 
> soln\late
> x\m0_24_ Jan_2010.log.
>  Error exporting A1-mutex-soln/latex/m0_24_ Jan_2010.pdf: File not  
> found:
> C:\Users\jonathan\Desktop\jso21\Rodin\rodin1.1a\workspace\A1-mutex- 
> soln\late
> x\m0_24_ Jan_2010.pdf.
>    File not found:
> C:\Users\jonathan\Desktop\jso21\Rodin\rodin1.1a\workspace\A1-mutex- 
> soln\late
> x\m0_24_ Jan_2010.pdf.
>  Error exporting A1-mutex-soln/latex/m0_24_ Jan_2010.tex: File not  
> found:
> C:\Users\jonathan\Desktop\jso21\Rodin\rodin1.1a\workspace\A1-mutex- 
> soln\late
> x\m0_24_ Jan_2010.tex.
>    File not found:
> C:\Users\jonathan\Desktop\jso21\Rodin\rodin1.1a\workspace\A1-mutex- 
> soln\late
> x\m0_24_ Jan_2010.tex.