Re: [Chicken-users] Problems installing call-with-environment-variables
Hi Matt, On Fri, 1 May 2015 08:33:14 -0700 Matt Welland mattrwell...@gmail.com wrote: Dependencies on cock (really hate that name btw, very embarrassing to be working with a young female co-worker and have to maneuver around saying the name out loud, reflects very poorly on Chicken Scheme IMHO) made installing a hassle. To solve it I had to comment out the @(... lines and the compile options. I'm not sure what the right solution is and I don't know why installing on this system failed: I can't reproduce the problem you are observing, and salmonella can't either: http://salmonella-linux-x86-64.call-cc.org/master-debugbuild/gcc/linux/x86-64/2015/05/01/salmonella-report/install/call-with-environment-variables.html What system are you installing call-with-environment-variables on? What CHICKEN version are you using? Is the trace you provided complete? I can't see the server chicken-install is downloading from, and I can't see cock being listed on the dependencies to be installed (maybe it is installed already?). What does chicken-status cock say? Best wishes. Mario chicken-install retrieving ... checking platform for `call-with-environment-variables' ... checking dependencies for `call-with-environment-variables' ... install order: (call-with-environment-variables) installing call-with-environment-variables: ... changing current directory to . '/p/blah/bin/csi' -bnq -setup-mode -e (require-library setup-api) -e (import setup-api) -e (setup-error-handling) -e (extension-name-and-version '(\call-with-environment-variables\ \\)) 'call-with-environment-variables.setup' '/p/blah/bin/csc' -feature compiling-extension -setup-mode call-with-environment-variables.scm -shared -optimize-leaf-routines - inline -output-file call-with-environment-variables.so - emit-import-library call-with-environment-variables -X cock Error: (open-input-file) cannot open file - No such file or directory: cock Error: shell command terminated with non-zero exit status 17920: '/p/blah/bin/chicken' 'call-with-environment-variables.scm' - output-file 'call-with-environment-variables.c' -dynamic -feature chicken-compile-shared -feature compiling-extension -setup-mode - optimize-leaf-routines -inline -emit-import-library call-with-environment-variables -extend cock Error: shell command failed with nonzero exit status 256: '/p/blah/bin/csc' -feature compiling-extension -setup-mode call-with-environment-variables.scm -shared -optimize-leaf-routines - inline -output-file call-with-environment-variables.so - emit-import-library call-with-environment-variables -X cock Error: shell command terminated with nonzero exit code 17920 '/p/blah/bin/csi' -bnq -setup-mode -e \(requi... ___ Chicken-users mailing list Chicken-users@nongnu.org https://lists.nongnu.org/mailman/listinfo/chicken-users -- http://parenteses.org/mario ___ Chicken-users mailing list Chicken-users@nongnu.org https://lists.nongnu.org/mailman/listinfo/chicken-users
[Chicken-users] Problems installing call-with-environment-variables
Dependencies on cock (really hate that name btw, very embarrassing to be working with a young female co-worker and have to maneuver around saying the name out loud, reflects very poorly on Chicken Scheme IMHO) made installing a hassle. To solve it I had to comment out the @(... lines and the compile options. I'm not sure what the right solution is and I don't know why installing on this system failed: chicken-install retrieving ... checking platform for `call-with-environment-variables' ... checking dependencies for `call-with-environment-variables' ... install order: (call-with-environment-variables) installing call-with-environment-variables: ... changing current directory to . '/p/blah/bin/csi' -bnq -setup-mode -e (require-library setup-api) -e (import setup-api) -e (setup-error-handling) -e (extension-name-and-version '(\call-with-environment-variables\ \\)) 'call-with-environment-variables.setup' '/p/blah/bin/csc' -feature compiling-extension -setup-mode call-with-environment-variables.scm -shared -optimize-leaf-routines -inline -output-file call-with-environment-variables.so -emit-import-library call-with-environment-variables -X cock Error: (open-input-file) cannot open file - No such file or directory: cock Error: shell command terminated with non-zero exit status 17920: '/p/blah/bin/chicken' 'call-with-environment-variables.scm' -output-file 'call-with-environment-variables.c' -dynamic -feature chicken-compile-shared -feature compiling-extension -setup-mode -optimize-leaf-routines -inline -emit-import-library call-with-environment-variables -extend cock Error: shell command failed with nonzero exit status 256: '/p/blah/bin/csc' -feature compiling-extension -setup-mode call-with-environment-variables.scm -shared -optimize-leaf-routines -inline -output-file call-with-environment-variables.so -emit-import-library call-with-environment-variables -X cock Error: shell command terminated with nonzero exit code 17920 '/p/blah/bin/csi' -bnq -setup-mode -e \(requi... ___ Chicken-users mailing list Chicken-users@nongnu.org https://lists.nongnu.org/mailman/listinfo/chicken-users
[Chicken-users] [TFP'15] call for participation
- L A S T C A L L F O R P A R T I C I P A T I O N - TFP 2015 === 16th Symposium on Trends in Functional Programming June 3-5, 2015 Inria Sophia Antipolis, France http://tfp2015.inria.fr/ The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions (see below). Authors of draft papers will be invited to submit revised papers based on the feedback receive at the symposium. A post-symposium refereeing process will then select a subset of these articles for formal publication. The selected revised papers will be published as a Springer Lecture Notes in Computer Science (www.springer.com/lncs) volume. TFP 2015 will be the main event of a pair of functional programming events. TFP 2015 will be accompanied by the International Workshop on Trends in Functional Programming in Education (TFPIE), which will take place on June 2nd. The TFP symposium is the heir of the successful series of Scottish Functional Programming Workshops. Previous TFP symposia were held in * Edinburgh (Scotland) in 2003; * Munich (Germany) in 2004; * Tallinn (Estonia) in 2005; * Nottingham (UK) in 2006; * New York (USA) in 2007; * Nijmegen (The Netherlands) in 2008; * Komarno (Slovakia) in 2009; * Oklahoma (USA) in 2010; * Madrid (Spain) in 2011; * St. Andrews (UK) in 2012; * Provo (Utah, USA) in 2013; * and in Soesterberg (The Netherlands) in 2014. For further general information about TFP please see the TFP homepage. (http://www.tifp.org/). == INVITED SPEAKERS == TFP is pleased to announce talks by the following two invited speakers: * Laurence Rideau is a researcher at INRIA and is interested in the semantics of programming languages , the formal methods, and the verification tools for programs and mathematical proofs. She participated in the beginnings of the Compcert project (certified compiler), and is part of the Component Mathematical team in the MSR-INRIA joint laboratory, who performed the formalization of the Feit-Thompson theorem successfully. Thirty years ago, computers barged in mathematics with the famous proof of the Four Color Theorem. Initially limited to simple calculation, their role is now expanding to the reasoning whose complexity is beyond the capabilities of most humans, as the proof of the classification of finite simple groups. We present our large collaborative adventure around the formalization of the Feit-Thompson theorem (http://en.wikipedia.org/wiki/Feit%E2%80%93Thompson_theorem) that is a first step to the classification of finite groups and that uses a palette of methods and techniques that range from formal logic to software (and mathematics) engineering. * Anil Madhavapeddy == SCOPE == The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories: Research Articles: leading-edge, previously unpublished research work Position Articles: on what new trends should or should not be Project Articles: descriptions of recently started new projects Evaluation Articles: what lessons can be drawn from a finished project Overview Articles: summarizing work with respect to a trendy subject Articles must be original and not simultaneously submitted for publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Topics suitable for the symposium include: Functional programming and multicore/manycore computing Functional programming in the cloud High performance functional computing Extra-functional (behavioural) properties of functional programs Dependently typed functional programming Validation and verification of functional programs Debugging and profiling for functional languages Functional programming in different application areas: security, mobility, telecommunications applications, embedded systems, global computing, grids, etc. Interoperability with imperative programming languages Novel memory management techniques Program analysis and transformation techniques Empirical performance studies Abstract/virtual machines and
