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

Log of /metaprl/refiner/refiner/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, 3 months ago) by emre
File length: 727 byte(s)
Diff to previous 3472 , to selected 3440
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 3472 - (view) (download) (annotate) - [select for diffs]
Modified Sat Dec 22 05:43:27 2001 UTC (19 years, 7 months ago) by emre
File length: 706 byte(s)
Diff to previous 3440
-  Removed util/Construct since it seems to be
   unnecessary for building MetaPRL with cons.
-  Minor changes to other Conscript(s).
   Mostly formatting (changing tabs to spaces).
-  Top level Conscript only uses the MC std. lib.
   if MC_ROOT is defined.  Before, if MC_ROOT wasn't
   defined, the -I cmd. line arguments would have
   unnecessary things like -I /lib/naml/...
-  Minor changes to display forms in theories/mc.
-  Minor changes to code formatting in theories/mc.
-  Filled in missing Mc_fir_connect_* functions.
   I need to look over them at some point for
   obvious typo-bugs and perform other testing.


Revision 3440 - (view) (download) (annotate) - [selected]
Modified Mon Nov 5 02:36:58 2001 UTC (19 years, 8 months ago) by nogin
File length: 634 byte(s)
Diff to previous 3410
cons files:
- The mp_version.ml file is now created with a proper version string
- The refiner used is now controlled  by the RFEINER and TERM variables
specified in the top-level Conscript (but not yet taken from mk/config).


Revision 3410 - (view) (download) (annotate) - [select for diffs]
Modified Tue Sep 25 16:52:43 2001 UTC (19 years, 10 months ago) by nogin
File length: 630 byte(s)
Diff to previous 3363 , to selected 3440
- 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, 11 months ago) by jyh
File length: 532 byte(s)
Diff to selected 3440
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