/[mojave]/metaprl/theories/Conscript
ViewVC logotype

Log of /metaprl/theories/Conscript

Parent Directory Parent Directory | Revision Log Revision Log


Sticky Revision:
(Current path doesn't exist after revision 4552)

Revision 3576 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 12 05:37:53 2002 UTC (19 years, 2 months ago) by emre
File length: 1331 byte(s)
Diff to previous 3532
These updates to the Conscripts allow for a compiles,
started in the MC source tree, to optionally
compile MetaPRL.  Nothing in MetaPRL itself should be
affected by these changes.  The only important
thing to note that is "#", in INCPATH's
has been replaced by $env->{MP}, which is set
in the toplevel Conscript.  "#" will refer to the
wrong root if the compile is started in MC.


Revision 3532 - (view) (download) (annotate) - [select for diffs]
Modified Sun Mar 10 23:29:54 2002 UTC (19 years, 3 months ago) by nogin
File length: 1037 byte(s)
Diff to previous 3477
I am committing David Bustos' changes to the cons build system for Metaprl.

See David's message "cons for MetaPRL" in the newsgroup for more information -
news://news.metaprl.org:119/20020310131332.A13595@wink.caltech.edu


Revision 3477 - (view) (download) (annotate) - [select for diffs]
Modified Fri Jan 18 16:35:35 2002 UTC (19 years, 5 months ago) by emre
File length: 733 byte(s)
Diff to previous 3439
1. Re-exported fir_eval.prla.
2. Mc_set : minor display form change.
3. Randomly reformatted some Conscripts it seems.
   (I removed tab characters from the files.)

The next steps will be to:
1. Consider renaming all files in theories/mc
   to start with mp_ or some other "unique" prefix
   so that the naming is consistant
   and avoids conflicts with files in MC.
2. Begin testing the mc_fir_connect code.  This
   will probably take some time to get completely
   correct.


Revision 3439 - (view) (download) (annotate) - [select for diffs]
Modified Sun Nov 4 19:38:36 2001 UTC (19 years, 7 months ago) by emre
File length: 586 byte(s)
Diff to previous 3410
Changes to get the mc theory compiled in by default.


Revision 3410 - (view) (download) (annotate) - [select for diffs]
Modified Tue Sep 25 16:52:43 2001 UTC (19 years, 9 months ago) by nogin
File length: 572 byte(s)
Diff to previous 3363
- Merged the Ocaml 3.02 changes

- Now http server is compiled in by default, but is only started if
the "-http true" argument is passed or MP_HTTP environment variable
is set to "true".

- A few other minor changes.


Revision 3363 - (view) (download) (annotate) - [select for diffs]
Added Tue Aug 7 20:32:03 2001 UTC (19 years, 10 months ago) by jyh
File length: 142 byte(s)
Added some initial Conscript files.  cons is a "make" replacement.
make will continue to work in the usual way, but cons will
eventually make it easier to produce a build.


This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.

  Diffs between and
  Type of Diff should be a

  ViewVC Help
Powered by ViewVC 1.1.26